Author:
Heiner Monika,Rohr Christian,Schwarick Martin
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model checking continuous-time Markov chains. ACM Trans. on Computational Logic 1(1), 162–170 (2000)
2. Lecture Notes in Computer Science;C. Baier,1999
3. Ciardo, G., Jones, R.L., Miner, A.S., Siminiceanu, R.: Logical and stochastic modeling with SMART. Perform. Eval. 63(1), 578–608 (2006)
4. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite state concurrent systems using temporal logic specifications. ACM TOPLAS 8(2), 244–263 (1986)
5. Cloth, L., Haverkort, B.R.: Five performability algorithms. A comparison. In: MAM 2006, pp. 39–54. Boson Books, Raleigh (2006)
Cited by
47 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献