Author:
Rathke Julian,Sobociński Paweł,Stephens Owen
Publisher
Springer International Publishing
Reference25 articles.
1. Bonchi, F., Pous, D.: Checking NFA Equivalence with Bisimulations up to Congruence. In: PoPL (2013)
2. Bruni, R., Melgratti, H., Montanari, U., Sobociński, P.: Connector algebras for C/E and P/T nets’ Interactions. Logical Methods in Computer Science 9(3) (2013)
3. Lecture Notes in Computer Science;R. Bruni,2011
4. Lecture Notes in Computer Science;A. Cheng,1993
5. Clarke, E.M., Long, D., McMillan, K.: Compositional model checking. In: LiCS 1989, pp. 352–362 (1989)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献