Simulative Model Checking of Steady-State and Time-Unbounded Temporal Operators
Author: | Christian Rohr |
---|---|
DOI: | https://doi.org/10.1007/978-3-642-40465-8_8 |
ISBN: | 978-3-642-40464-1 |
ISBN: | 978-3-642-40465-8 |
Title of the source (English): | Transactions on petri nets and other models of concurrency VIII |
Publisher: | Springer |
Place of publication: | Berlin [u.a.] |
Document Type: | Part of a book (chapter) |
Language: | English |
Year of publication: | 2013 |
First Page: | 142 |
Last Page: | 158 |
Comment: | referiert |
Series ; volume number: | Lecture notes in computer science ; 8100 |
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 |