Details for the publication WangZZ17.

Shuling Wang, Naijun Zhan (), Lijun Zhang: A Compositional Modelling and Verification Framework for Stochastic Hybrid Systems. In Formal Aspects Comput. 29(4):751-775, 2017. DOI BIB