Author:
De Francesco Nicoletta,Lettieri Giuseppe,Santone Antonella,Vaglini Gigliola
Publisher
Springer Science and Business Media LLC
Subject
Modelling and Simulation,Software
Reference58 articles.
1. Parashkevov, A.N., Yantchev, J.: Arc—a tool for efficient refinement and equivalence checking for csp. In: IEEE International Conference on Algorithms and Architectures for Parallel Processing ICA3PP’96, pp. 68-75
2. Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Grumberg, O., Veith, H. (eds.) 25 Years of Model Checking, vol. 5000 of Lecture Notes in Computer Science, Springer, pp. 196-215 (2008)
3. Queille, J.-P., Sifakis, J.: Specification and verification of concurrent systems in cesar. In: Dezani-Ciancaglini, M., Montanari, U. (eds.) Symposium on Programming, vol. 137 of Lecture Notes in Computer Science, Springer, Berlin, pp. 337–351 (1982)
4. Bouajjani, A., Fernandez, J.-C., Halbwachs, N.: Minimal model generation. In: Clarke, E.M., Kurshan, R.P. (eds.) CAV, vol. 531 of Lecture Notes in Computer Science, Springer, Berlin pp. 197–203 (1990)
5. Graf, S., Steffen, B., Lüttgen, G.: Compositional minimisation of finite state systems using interface specifications. Form. Asp. Comput. 8, 607–616 (1996)
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献