PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Gnesi S., Mazzanti F. AGILE - Modal logics for behavioural properties of mobile systems. AGILE research project. Deliverable 01, 2003.
 
 
Abstract
(English)
Not available
Subject


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