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.
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