mediaTUM
Universitätsbibliothek
Technische Universität München
Benutzer: Gast
Login
de
en
mediaTUM Gesamtbestand
Hochschulbibliographie
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
Elektronische Prüfungsarbeiten
Open Access Publikationen
Forschungsdaten
TUM.University Press
Sammlungen
Projekte
Einrichtungen
mediaTUM Gesamtbestand
Hochschulbibliographie
2019
Zurück
Zurück zum Anfang der Trefferliste
Dauerhafter Link zum angezeigten Objekt
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
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
Vorkommen:
mediaTUM Gesamtbestand
Hochschulbibliographie
2019
Fakultäten
Informatik
Informatik 6 - Assistant Professorship Cyber Physical Systems (Prof. Althoff)
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