• search hit 85 of 144
Back to Result List

MARCIE - Model checking and Reachability analysis done effieciently

Export metadata

Additional Services

Search Google Scholar
Metadaten
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
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.