Author:
Bouali Amar,Ressouche Annie,Roy Valérie,Simone Robert
Publisher
Springer Berlin Heidelberg
Reference4 articles.
1. A. Bouali and R. de Simone. Symbolic bisimulation minimisation. In Fourth Workshop on Computer-Aided Verification, volume 663 of LNCS, pages 96–108, Montreal, 1992. Springer-Verlag.
2. A. Bouali, A. Ressouche, V. Roy, and R. de Simone. The FCTOOLS user manual. In final ESPRIT-BRA CONCUR2 deliverables, Amsterdam, October 1995. Available by ftp from cma.cma.fr.pub/verif as file fc2userman.ps.
3. P.C. Kanellakis and S.A. Smolka. CCS expressions, finite state processes, and three problems of equivalence. Information and Computation, 86:43–68, 1990.
4. V. Roy and R. de Simone. AUTO and autograph. In R. Kurshan, editor, proceedings of Workshop on Computer Aided Verification, New-Brunswick, June 1990. AMS-DIMACS.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献