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.).

Pushdown Module Checking with Imperfect Information

MURANO, ANIELLO;
2007

2007
9783540744061
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11588/119468
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 12
  • ???jsp.display-item.citation.isi??? 9
social impact