Complexity results on branching-time pushdown model checking / Bozzelli, L.. - 3855 LNCS:(2006), pp. 65-79. (Intervento presentato al convegno 7th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2006)).
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
VMCAI2006b.pdf
solo utenti autorizzati
Licenza:
Copyright dell'editore
Dimensione
501.19 kB
Formato
Adobe PDF
|
501.19 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.