User: Guest  Login
If you experience problems opening the document, please try this link.
Title:

{STL} Model Checking of Continuous and Hybrid Systems

Document type:
Konferenzbeitrag
Author(s):
Roehm, H.; Oehlerking, J.; Heinz, T.; Althoff, M.
Pages contribution:
412–427
Book / Congress title:
Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis
Year:
2016
Fulltext / DOI:
doi:10.1007/978-3-319-46520-3_26
 BibTeX