mediaTUM
Universitätsbibliothek
Technische Universität München
User: Guest
Login
de
en
mediaTUM Content
University Bibliography
2024
(2520)
2023
(7195)
2022
(8621)
2021
(8879)
2020
(8163)
2019
(8859)
Fakultäten
(8163)
Architektur
(117)
Bau Geo Umwelt
(808)
Chemie
(169)
Elektrotechnik und Informationstechnik
(1251)
Informatik
(524)
Luftfahrt, Raumfahrt und Geodäsie
(505)
Maschinenwesen
(1236)
Mathematik
(163)
Medizin
(761)
Physik
(243)
Sport- und Gesundheitswissenschaften
(355)
TUM Campus Straubing für Biotechnologie und Nachhaltigkeit
(107)
TUM School of Education
(136)
TUM School of Governance
(104)
Wirtschaftswissenschaften
(380)
Wissenschaftszentrum Weihenstephan
(1312)
Integrated Research Centers
(438)
Zentrale Einrichtungen
(258)
2018
(8689)
2017
(8680)
2016
(8816)
2015
(8209)
2014
(7123)
2013
(6741)
2012
(5770)
2011
(5557)
2010
(5415)
2009
(4589)
2008
(4098)
1989 - 2007
Electronic Examination Papers
Open Access Publikationen
Research Data
TUM.University Press
Collections
Projects
Institutions
mediaTUM Gesamtbestand
Hochschulbibliographie
2019
Fakultäten
Back
Back to start of result list
Permanent link for displayed object
If you experience problems opening the document, please try this link.
Document type:
Konferenzbeitrag
Author(s):
Althoff, Matthias; Bak, Stanley; Forets, Marcelo; Frehse, Goran; Kochdumper, Niklas; Ray, Rajarshi; Schilling, Christian; Schupp, Stefan
Title:
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
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:
14-40
Bookseries title:
EPiC Series in Computing
Fulltext / DOI:
doi:10.29007/bj1w
BibTeX
Occurrences:
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