Author:
de Frutos Escrig David,Keiren Jeroen J. A.,Willemse Tim A. C.
Publisher
Springer International Publishing
Reference20 articles.
1. Basten, T.: Branching bisimilarity is an equivalence indeed!. Inform. Process. Lett. 58(3), 141–147 (1996)
2. Lecture Notes in Computer Science;S Blom,2001
3. Bulychev, P.E., Konnov, I.V., Zakharov, V.A.: Computing (bi)simulation relations preserving CTL*-X for ordinary and fair Kripke structures. Inst. Syst. Program. Russ. Acad. Sci. Math. Meth. Algorithm 12, 59–76 (2007)
4. Lecture Notes in Computer Science;S Cranen,2013
5. Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2011: a toolbox for the construction and analysis of distributed processes. Int. J. Softw. Tools Technol. Transf. 15(2), 89–107 (2013)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献