Login / Signup

Model checking conditional CSL for continuous-time Markov chains.

Yang GaoMing XuNaijun ZhanLijun Zhang
Published in: Inf. Process. Lett. (2013)
Keyphrases