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

ARCH-COMP17 category report: Continuous systems with nonlinear dynamics

Document type:
Zeitschriftenaufsatz
Author(s):
X. Chen, M. Althoff, and F. Immler
Journal title:
Proc. of the 4th International Workshop on Applied Verification for Continuous and Hybrid Systems
Year:
2017
Fulltext / DOI:
doi:10.29007/v6g4
 BibTeX