mediaTUM
Universitätsbibliothek
Technische Universität München
User: Guest
Login
de
en
mediaTUM Content
University Bibliography
2024
(4101)
2023
(7786)
2022
(8707)
2021
(8941)
2020
(8201)
2019
(8884)
Fakultäten
(8190)
Integrated Research Centers
(438)
Zentrale Einrichtungen
(256)
2018
(8712)
2017
(8707)
2016
(8840)
2015
(8228)
2014
(7148)
2013
(6758)
2012
(5783)
2011
(5565)
2010
(5430)
2009
(4599)
2008
(4112)
1989 - 2007
Electronic Examination Papers
Open Access Publikationen
Research Data
TUM.University Press
Collections
Projects
Institutions
mediaTUM Gesamtbestand
Hochschulbibliographie
2019
Back
Back to start of result list
Permanent link for displayed object
If you experience problems opening the document, please try this link.
Title:
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Document type:
Konferenzbeitrag
Author(s):
Immler, Fabian; Althoff, Matthias; Benet, Luis; Chapoutot, Alexandre; Chen, Xin; Forets, Marcelo; Geretti, Luca; Kochdumper, Niklas; Sanders, David P.; Schilling, Christian
Editor:
Frehse, Goran; Althoff, Matthias
Book / Congress title:
Proc. of the 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
Volume:
61
Year:
2019
Pages:
41-61
Bookseries title:
EPiC Series in Computing
Fulltext / DOI:
doi:10.29007/m75b
BibTeX
Occurrences:
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Computation, Information and Technology
Departments
Computer Engineering
Informatik 6 - Professur für Cyber Physical Systems (Prof. Althoff)
2019
mediaTUM Gesamtbestand
Hochschulbibliographie
2019
Fakultäten
Informatik
Informatik 6 - Assistant Professorship Cyber Physical Systems (Prof. Althoff)