Author:
Bergamini Damien,Descoubes Nicolas,Joubert Christophe,Mateescu Radu
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Andersen, H.R.: Model Checking and Boolean Graphs. Theoretical Computer Science 126(1), 3–30 (1994)
2. Cleaveland, R., Sokolsky, O.: Equivalence and Preorder Checking for Finite-State Systems. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra, ch. 6, pp. 391–424. North-Holland, Amsterdam (2001)
3. Fernandez, J.-C., Mounier, L.: Verifying Bisimulations “On the Fly”. In: Quemada, J., Manas, J., Vázquez, E. (eds.) Proc. of FORTE 1990. North-Holland, Amsterdam (1990)
4. Lecture Notes in Computer Science;J.-C. Fernandez,1991
5. Lecture Notes in Computer Science;H. Garavel,1998
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献