Constraint-Based Analysis of Concurrent Probabilistic Hybrid Systems: An Application to Networked Automation Systems
Teige, Tino and Eggers, Andreas and Fränzle, Martin
Nonlinear Analysis: Hybrid Systems
01 / 2011
article
Elsevier
343-366
OFFIS Autoren
