Auflistung nach Autor "Hedrich, Lars"
Anzeige der Dokumente 1-1 von 1
-
From transistor level to cyber physical/hybrid systems: Formal verification using automatic compositional abstraction
Tarraf, Ahmad; Hedrich, Lars
257-270
- Startseite
- Auflistung nach Autor