Special Issue on Hybrid Systems II:Analysis, Modeling, and Verification
Gespeichert in:
Verfasser / Beitragende:
[Volker Krebs, Eckehard Schnieder]
Ort, Verlag, Jahr:
2001
Enthalten in:
at - Automatisierungstechnik, 49/2/2001(2001-02), 51
Format:
Artikel (online)
Online Zugang: