Formale Verifikation von exogenen Koodinationsmodellen

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Buch/Sammelband/Gutachten › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheDeutsch
TitelAusgezeichnete Informatikdissertationen 2012
Herausgeber (Verlag)Gesellschaft für Informatik, Bonn
Seiten171-180
Seitenumfang10
ISBN (elektronisch)ISBN 978-3-88579-417-2
PublikationsstatusVeröffentlicht - 2012
Peer-Review-StatusJa

Externe IDs

ORCID /0000-0003-1724-2586/work/179393341

Schlagworte