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

BIB
Teige, Tino and Eggers, Andreas and Fränzle, Martin
Nonlinear Analysis: Hybrid Systems
01 / 2011
article
Elsevier
343-366