![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Computer Aided Verification Volume 1855 || Model Checking Continuous-Time Markov Chains by Transient Analysis
Emerson, E. Allen, Sistla, Aravinda PrasadVolume:
10.1007/10
Year:
2000
Language:
english
DOI:
10.1007/10722167_28
File:
PDF, 260 KB
english, 2000