Benutzer: Gast  Login
Titel:

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

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Althoff, Matthias; Forets, Marcelo; Schilling, Christian; Wetzlinger, Mark
Kongress- / Buchtitel:
Proc. of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems
Band / Teilband / Volume:
90
Verlag / Institution:
EasyChair
Jahr:
2022
Seiten:
58–85
Serientitel:
EPiC Series in Computing
Volltext / DOI:
doi:10.29007/mmzc
WWW:
https://easychair.org/publications/paper/b6cN
 BibTeX