MARCIE - Model checking and Reachability analysis done effieciently
Author: | Monika HeinerORCiD, Christian Rohr, Martin Schwarick |
---|---|
URL: | http://link.springer.com/chapter/10.1007/978-3-642-38697-8_21 |
ISBN: | 978-3-642-38696-1 |
Title of the source (English): | Application and theory of petri nets and concurrency, 34th international conference, proceedings, PETRI NETS 2013, Milan, Italy, June 24 - 28, 2013 |
Publisher: | Springer |
Place of publication: | Heidelberg [u.a.] |
Editor: | José-Manuel Colom, Jörg Desel |
Document Type: | Conference Proceeding |
Language: | English |
Year of publication: | 2013 |
First Page: | 389 |
Last Page: | 399 |
Comment: | referiert |
Series ; volume number: | Lecture notes in computer science ; 7927 |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Datenstrukturen und Softwarezuverlässigkeit |
Institution name at the time of publication: | Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Informatik / Datenstrukturen und Softwarezuverlässigkeit |