Author:
van Glabbeek Rob,Ploeger Bas
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Bloom, B., Paige, R.: Transformational design and implementation of a new efficient solution to the ready simulation problem. Science of Computer Programming 24(3), 189–220 (1995)
2. MRI Symposia Series;J.A. Brzozowski,1963
3. CWI: μCRL Toolset Home Page, http://www.cwi.nl/~mcrl/
4. Lecture Notes in Computer Science;D.L. Dill,1992
5. Gentilini, R., Piazza, C., Policriti, A.: From bisimulation to simulation: Coarsest partition problems. Journal of Automated Reasoning 31(1), 73–103 (2003)
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献