Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T., Smolka S. Fundamental Results for the Verification of Observational Equivalence: a Survey. In: Proceedings of the IFIP WG 6.1 Seventh International Conference on Protocol Specification, Testing, and Verification, pp. 165-179. H. Rudin, C. West (eds.). North- Holland, 1987. 1987.
No abstract available

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional