Special Session 1: High-Level Modeling and Verification of Automotive/Transportation Systems

Autor(en)
Reiter, Sebastian and Viehl, Alexander and Bringmann, Oliver and Rosenstiel, Wolfgang
Download .bib
Download .bib
Eingetragen von
Alexander Viehl