direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Verification of Hybrid Systems in the Medical Context
Zitatschlüssel Liebrenz2016d
Autor Timm Liebrenz
Buchtitel Proceedings of the 10th Joint Workshop of the German Research Training Groups in Computer Science
Seiten 30
Jahr 2016
ISBN 978-3-944640-88-4
Verlag Universitätsverlag der Technischen Universität Chemnitz
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe