Author:
Delahaye Benoît,Larsen Kim G.,Legay Axel
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. Andova, S., Willemse, T.A.C.: Branching bisimulation for probabilistic systems: Characteristics and decidability. Theor. Comput. Sci. 356, 325–355 (2006)
2. Lecture Notes in Computer Science;C. Baier,1997
3. Bauer, S.S., Juhl, L., Larsen, K.G., Legay, A., Srba, J.: Extending modal transition systems with structured labels. MSCS 22, 1–37 (2012)
4. Lecture Notes in Computer Science;S.S. Bauer,2010
5. Caillaud, B., Delahaye, B., Larsen, K.G., Legay, A., Pedersen, M.L., Wąsowski, A.: Compositional design methodology with constraint markov chains. In: QEST. IEEE Computer (2010)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Stuttering for Abstract Probabilistic Automata;Logical Foundations of Computer Science;2013