Formale Verifikation von exogenen Koodinationsmodellen

Research output: Contribution to book/Conference proceedings/Anthology/Report › Chapter in book/Anthology/Report › Contributed › peer-review

Contributors

Details

Original languageGerman
Title of host publicationAusgezeichnete Informatikdissertationen 2012
PublisherGesellschaft für Informatik, Bonn
Pages171-180
Number of pages10
ISBN (electronic)ISBN 978-3-88579-417-2
Publication statusPublished - 2012
Peer-reviewedYes

External IDs

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

Keywords