Author:
Eisentraut Christian,Hermanns Holger,Zhang Lijun
Publisher
Springer Berlin Heidelberg
Reference52 articles.
1. Abadi, M., Lamport, L.: The existence of refinement mappings. Theoretrical Computer Science 82(2), 253–284 (1991)
2. Baier, C., Engelen, B., Majster-Cederbaum, M.E.: Deciding bisimilarity and similarity for probabilistic processes. J. Comput. Syst. Sci. 60(1), 187–231 (2000)
3. Lecture Notes in Computer Science;C. Baier,1997
4. Baier, C., Katoen, J.-P.: Principles of Model Checking, 1st edn. MIT Press, Cambridge (2008)
5. Baier, C., Katoen, J.-P., Hermanns, H., Wolf, V.: Comparative branching-time semantics for Markov chains. Information and Computation 200(2), 149–214 (2005)
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献