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

An Introduction to CORA 2015

Document type:
Konferenzbeitrag
Author(s):
Althoff, M.
Pages contribution:
120–151
Book / Congress title:
Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems
Year:
2015
Fulltext / DOI:
doi:10.29007/zbkv
 BibTeX