Publikation

Titel

Constraint-Based Analysis of Concurrent Probabilistic Hybrid Systems: An Application to Networked Automation Systems

Publikationsart

Journalartikel

Alle Autoren

Teige, Tino; Eggers, Andreas; Fränzle, Martin

Erscheinungsdatum

2011

Seiten

343-366

Verlag

Elsevier