@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 }