Author:
de Alfaro Luca,Faella Marco,Henzinger Thomas A.,Majumdar Rupak,Stoelinga Mariëlle
Subject
General Computer Science,Theoretical Computer Science
Reference21 articles.
1. C. Baier, B.R. Haverkort, H. Hermanns, J.-P. Katoen, Model checking continuous-time Markov chains by transient analysis, in: Computer-Aided Verification, Lecture Notes in Computer Science, Vol. 1855, Springer, Berlin, 2000, pp. 358–372.
2. D.P. Bertsekas, Dynamic Programming and Optimal Control, (Vols. I and II), Athena Scientific, 1995.
3. A. Bianco, L. de Alfaro, Model checking of probabilistic and nondeterministic systems, in: Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science, Vol. 1026, Springer, Berlin, 1995, pp. 499–513.
4. Model Checking;Clarke,1999
5. Introduction to Algorithms;Cormen,2001
Cited by
54 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献