Details for the publication GaoXZZ13.

Yang Gao, Ming Xu, Naijun Zhan (), Lijun Zhang: Model checking conditional CSL for continuous-time Markov chains. In Inf. Process. Lett. 113(1-2):44-50, 2013. DOI BIB