EnglishCancella i cookie per la scelta della lingua
in titoli, abstract e parole chiave
Ricerca
Ricerca semplice
Ricerca avanzata
Ultime accessioni
Scorri per
Autore
Settori scientifico-disciplinari
Anno
Tipologia prodotto
Accessibilità del full-text
Informazioni
Policy
Informazioni su fedOA
FAQ
Contatti
[up]
[pin missing: url][pin missing: url]
Esporta come [Atom feed] Atom [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Raggruppa per: Tipologia del documento | Nessun raggruppamento
Numero di documenti: 1.

Bozzelli, Laura and Murano, Aniello and Peron, Adriano (2010) Pushdown Module Checking. [Pubblicazione in rivista scientifica]

Questa lista è stata generata il Thu Jun 12 13:08:59 2025 CEST.

Università di Napoli - Centro di Ateneo per le Biblioteche