Benutzer: Gast  Login
Titel:

ARCH-COMP22 Category Report Continuous and Hybrid Systems with Nonlinear Dynamics

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Geretti, Luca; Sandretto, Julien Alexandre Dit; Althoff, Matthias; Benet, Luis; Collins, Pieter; Duggirala, Parasara; Forets, Marcelo; Kim, Edward; Mitsch, Stefan; Schilling, Christian; Wetzlinger, Mark
Herausgeber:
Frehse, Goran; Althoff, Matthias; Schoitsch, Erwin; Guiochet, Jeremie
Kongress- / Buchtitel:
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
Band / Teilband / Volume:
90
Verlag / Institution:
EasyChair
Jahr:
2022
Seiten:
86--112
Serientitel:
EPiC Series in Computing
Volltext / DOI:
doi:10.29007fnzc
WWW:
httpseasychair.orgpublicationspaperJrQ4
 BibTeX