@inproceedings{FraHaHWZ:HSCC11, Author = {Fränzle, Martin and Hahn, Ernst Moritz Hahn and Hermanns, Holgers and Wolovick, Nicolas and Zhang, Lijun}, Title = {Measurability and Safety Verification for Stochastic Hybrid Systems}, Year = {2011}, Month = {01}, Booktitle = {Hybrid Systems: Computation and Control, 13th International Conference, HSCC 2011, Chicago, USA, Proceedings}, type = {inproceedings} } @COMMENT{Bibtex file generated on }