PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T., Ambriola V. INVITED PAPER: "The Electric Power of LOTOS. In: Formal Description Techniques V, IFIP Transactions C-10, Proceedings of IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols - FORTE'92, pp. 431- 446. M. Diaz, R. Groz (eds.). North-Holland, 1993. 1993.
 
 
Abstract
(English)
No abstract available
Subject



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