MARCIE’s secrets of efficient model checking
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 |