direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Verified Model Refactorings for Hybrid Control Systems
Citation key SchlesingerphdForum
Author Sebastian Schlesinger
Title of Book DATE Conference PhD Forum
Year 2018
Location Dresden
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe