PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T., Brinksma E. Introduction to the ISO Specification Language LOTOS. In: The Formal Description Technique LOTOS -- Results of the ESPRIT/SEDOS Project, pp. 23-73, North-Holland, 1989. ISBN 0-444 87267 1. P. H. J. van Eijk, C. A. Vissers, M. Diaz (eds.). 1989.
 
 
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