Pushdown Module Checking with Imperfect Information / Aminof, B; Murano, Aniello; Vardi, M. Y.. - STAMPA. - 4703:(2007), pp. 460-475. (Intervento presentato al convegno Proceeding of the 18th International Conference on Concurrency Theory tenutosi a Lisbon - Portugal nel September 3-8, 2007.).
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
conc2007-withapp.pdf
solo utenti autorizzati
Tipologia:
Documento in Post-print
Licenza:
Accesso privato/ristretto
Dimensione
248.72 kB
Formato
Adobe PDF
|
248.72 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.