Zhan Naijun

Naijun Zhan

Information about the author Naijun Zhan will soon be added to the site.
Found 1 papers in total
Model checking conditional CSL for continuous-time Markov chains
2013
In this paper, we consider the model‐checking problem of continuous‐time...
Papers per page: