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.

Il contenuto (Full text) non è disponibile all'interno di questo archivio. [error in script] [error in script]
Tipologia del documento: Contributo a Convegno o Workshop ([non definito])
Lingua: English
Titolo: Analysis of Timed Recursive State Machines
Autori:
AutoreEmail
Benerecetti, Massimo[non definito]
Peron, Adriano[non definito]
Autore/i: M. Benerecetti, S. Minopoli, A. Peron
Data: 2010
Numero di pagine: 0
Dipartimento: Scienze fisiche
Titolo dell'evento: 17th Internationa Symposium on Temporal Representation and Reasoning
Luogo dell'evento: Paris, France
Data dell'evento: 6-8 Settembre 2010
Titolo dell'opera che contiene il documento: Temporal Representation and Reasoning
Nazione dell'editore: STATI UNITI D'AMERICA
Editore: IEEE Computer Science
Data: 2010
ISBN: 9780769541877
Intervallo di pagine: pp. 61-68
Numero di pagine: 0
Depositato il: 21 Ott 2010 09:02
Ultima modifica: 30 Apr 2014 19:43
URI: http://www.fedoa.unina.it/id/eprint/7795

Downloads

Downloads per month over past year

Actions (login required)

Modifica documento Modifica documento