Analysis of Timed Recursive State Machines

BENERECETTI, MASSIMO and PERON, ADRIANO (2010) Analysis of Timed Recursive State Machines. In: 17th Internationa Symposium on Temporal Representation and Reasoning, 6-8 Settembre 2010, Paris, France.

Full text non disponibile da questo archivio.


Tipologia di documento:Contributo in atti di congresso o conferenza (Non specificato)
Settori scientifico-disciplinari MIUR:Non specificato
Stato del full text:Accessibilità ristretta
Data:2010
Altri Autori:M. Benerecetti, S. Minopoli, A. Peron
Editore:IEEE Computer Science
Numero di pagine:0
Intervallo di pagina:pp. 61-68
Dipartimento o Struttura:Dipartimento di Scienze Fisiche
ISBN:9780769541877
Titolo dell'evento:17th Internationa Symposium on Temporal Representation and Reasoning
Luogo dell'Evento:Paris, France
Data dell'evento:6-8 Settembre 2010
Numero di sistema:7795
Depositato il:21 Ottobre 2010 11:02
Ultima modifica:21 Ottobre 2010 11:02

Solo per gli Amministratori dell'archivio: edita il record