English
 
User Manual Privacy Policy Disclaimer Contact us
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Book Chapter

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

MPS-Authors
/persons/resource/persons29136

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;

Locator
There are no locators available
Fulltext (public)
There are no public fulltexts available
Supplementary Material (public)
There is no public supplementary material available
Citation

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.


Cite as: http://hdl.handle.net/21.11116/0000-0000-EFDB-D
Abstract
There is no abstract available