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

ARCH-COMP17 category report: Continuous systems with nonlinear dynamics

Dokumenttyp:
Zeitschriftenaufsatz
Autor(en):
X. Chen, M. Althoff, and F. Immler
Zeitschriftentitel:
Proc. of the 4th International Workshop on Applied Verification for Continuous and Hybrid Systems
Jahr:
2017
Volltext / DOI:
doi:10.29007/v6g4
 BibTeX