Peron, Adriano (2008) Verification of well-formed Communicating Recursive State Machines. [Pubblicazione in rivista scientifica]

Il contenuto (Full text) non è disponibile all'interno di questo archivio.
Tipologia del documento: Pubblicazione in rivista scientifica
Lingua: English
Titolo: Verification of well-formed Communicating Recursive State Machines
Autori:
AutoreEmail
Peron, Adriano[non definito]
Autore/i: L. Bozzelli, S. La Torre, A. Peron
Data: 2008
Numero di pagine: 24
Dipartimento: Scienze fisiche
Numero identificativo: 10.1016/j.tcs.2008.06.012
Titolo del periodico: THEORETICAL COMPUTER SCIENCE
Data: 2008
Volume: 403
Numero: 1-2
Intervallo di pagine: pp. 382-406
Numero di pagine: 24
Parole chiave: Model checking, recursive state machines, Verification
Numero identificativo: 10.1016/j.tcs.2008.06.012
Depositato il: 21 Ott 2010 06:16
Ultima modifica: 30 Apr 2014 19:42
URI: http://www.fedoa.unina.it/id/eprint/7221

Actions (login required)

Modifica documento Modifica documento