Benutzer: Gast  Login
Titel:

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Althoff, Matthias; Bak, Stanley; Forets, Marcelo; Frehse, Goran; Kochdumper, Niklas; Ray, Rajarshi; Schilling, Christian; Schupp, Stefan
Herausgeber:
Frehse, Goran; Althoff, Matthias
Kongress- / Buchtitel:
Proc. of the 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
Band / Teilband / Volume:
61
Jahr:
2019
Seiten:
14-40
Serientitel:
EPiC Series in Computing
Volltext / DOI:
doi:10.29007/bj1w
 BibTeX