PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ferrari G., Gnesi S., Montanari U., Pistore M., Ristori G. Verifying Mobile Processes in the HAL Environment. In: Computer Aided Verification. 10th International Conference CAV'98. (Vancouver (Canada), June 28 - July 2 1998). Proceedings, pp. 511 - 515. A.J. Hu, M.Y. Vardi (Eds.) (eds.). (Lecture Notes in Computer Science, vol. 1427). Springer, 1998.
 
 
Abstract
(English)
No abstract available
Subject Formal method
D.2.4 Software/Program Verification


Icona documento 1) Download Document PDF


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