MARCIE’s secrets of efficient model checking

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author: Monika HeinerORCiD, Christian Rohr, Martin Schwarick, Alexey A. Tovchigrechko
DOI:https://doi.org/10.1007/978-3-662-53401-4_14
ISBN:978-3-662-53400-7
ISBN:978-3-662-53401-4
Title of the source (English):Transactions on petri nets and other models of concurrency XI
Publisher:Springer
Place of publication:Berlin [u.a.]
Editor: Maciej Koutny, Jörg Desel, Jetty Kleijn
Document Type:Part of a book (chapter)
Language:English
Year of publication:2016
First Page:286
Last Page:296
Comment:
referiert
Series ; volume number:Lecture Notes in Computer Science ; 9930
Faculty/Chair:Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Datenstrukturen und Softwarezuverlässigkeit
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.