|
[cdkm11]
Taolue Chen, Marco Diciolla, Marta Kwiatkowska, Alexandru Mereacre.
Verification of Linear Duration Properties over Continuous Time Markov Chains.
Technical report , University of Oxford.
October 2011.
[pdf]
|
|
Downloads:
 pdf (338 KB)
|