Bozzelli, Laura and Murano, Aniello and Peron, Adriano (2010) Pushdown Module Checking. [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: Pushdown Module Checking
Autori:
AutoreEmail
Bozzelli, Laura[non definito]
Murano, Aniello[non definito]
Peron, Adriano[non definito]
Autore/i: L. Bozzelli, A. Murano, A. Peron
Data: 2010
Numero di pagine: 31
Dipartimento: Scienze fisiche
Titolo del periodico: FORMAL METHODS IN SYSTEM DESIGN
Data dell'evento: 2008
Data: 2010
Volume: 36
Numero: 1
Intervallo di pagine: pp. 65-95
Numero di pagine: 31
Depositato il: 21 Ott 2010 07:39
Ultima modifica: 30 Apr 2014 19:43
URI: http://www.fedoa.unina.it/id/eprint/7792

Actions (login required)

Modifica documento Modifica documento