Author:
Francesco Nicoletta,Santone Antonella,Vaglini Gigliola
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. S. Bensalem, A. Bouajjani, C. Loiseaux, J. Sifakis. Property Preserving Simulations. In Proceedings of the Fourth Workshop on Computer Aided Verification, 1992.
2. T. Bolognesi, S. Smolka. Fundamental results for the verification of observational equivalence: a survey. In Proc. IFIP WG 6.1 7th Conference on Protocol Specification, Testing and Verification. Amsterdam: North-Holland 1987.
3. A. Bouajjani, J.C. Fernandez, N. Halbwachs, P. Raymond, C. Ratel. Minimal state graph generation. Science of Computer Programming, 1992. Vol. 18(3), pp. 247–271.
4. A. Bouali, S. Gnesi, S. Larosa. The integration Project for JACK Environment. Bulletin of EATCS, n.54, October 1994, pp. 207–223.
5. G. Bruns. A Practical Technique for Process Abstraction. In Proceedings of th Fourth International Conference on Concurrency Theory (CONCUR'93), Lecture Notes in Computer Science, Springer-Verlag, 1993, pp. 37–49.