Publication [WangZZ17] A Compositional Modelling and Verification Framework for Stochastic Hybrid Systems Wang, S.; Zhan, N. and Zhang, L. In Formal Asp. Comput., 29: 751-775, 2017.Downloads: bib
