Pushdown Module Checking with Imperfect Information / Aminof, B; Murano, Aniello; Vardi, M. Y.. - STAMPA. - 4703:(2007), pp. 460-475. ( Proceeding of the 18th International Conference on Concurrency Theory Lisbon - Portugal 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.


