Benutzer: Gast  Login
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Titel:

{STL} Model Checking of Continuous and Hybrid Systems

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Roehm, H.; Oehlerking, J.; Heinz, T.; Althoff, M.
Seitenangaben Beitrag:
412–427
Kongress- / Buchtitel:
Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis
Jahr:
2016
Volltext / DOI:
doi:10.1007/978-3-319-46520-3_26
 BibTeX