@articleTeiEggFra:NAHS, Author = {Teige, Tino and Eggers, Andreas and Fränzle, Martin}, Title = {Constraint-Based Analysis of Concurrent Probabilistic Hybrid Systems: An Application to Networked Automation Systems}, Journal = {Nonlinear Analysis: Hybrid Systems}, Year = {2011}, Volume = {5}, Number = {2}, Pages = {343-366}, Month = {01}, Publisher = {Elsevier}, type = {article} @COMMENTBibtex file generated on