PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Gnesi S., Latella D. International Ercim Workshop on Formal Methods for Industrial Critical System, 2., Cesena, 1997. In: ERCIM - Proceedings of second international ERCIM workshop on formal methods for industrial critical systems (Cesena, 4-5 July 1997). Proceedings, pp. 1 - 2. S. Gnesi, D. Latella (eds.). ERCIM, 1997.
 
 
Abstract
(English)
No abstract available.
Subject Formal Methods


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