Simulative Model Checking of Steady-State and Time-Unbounded Temporal Operators

Rohr, Christian

Lokale TagsFreigabegeschichteDetailsÜbersicht

Simulative Model Checking of Steady-State and Time-Unbounded Temporal Operators

Rohr, C. (2013). Simulative Model Checking of Steady-State and Time-Unbounded Temporal Operators. In Transactions on Petri Nets and Other Models of Concurrency VIII. Lecture Notes in Computer Science (pp. 142-158). Berlin, Heidelberg: Springer.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-0000-EFDB-D Versions-Permalink: https://hdl.handle.net/21.11116/0000-0000-EFDC-C

Genre: Buchkapitel

ausblenden:

Urheber:
Rohr, Christian^{1, 2}, Autor

Affiliations:
1Brandenburg University of Technology, Cottbus, ou_persistent22
2International Max Planck Research School (IMPRS), Max Planck Institute for Dynamics of Complex Technical Systems, Max Planck Society, DE, ou_1738143