Rohr, Christian Brandenburg University of Technology, Cottbus; International Max Planck Research School (IMPRS), Max Planck Institute for Dynamics of Complex Technical Systems, Max Planck Society;
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.