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

An Introduction to CORA 2015

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Althoff, M.
Seitenangaben Beitrag:
120–151
Kongress- / Buchtitel:
Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems
Jahr:
2015
Volltext / DOI:
doi:10.29007/zbkv
 BibTeX