Formal verification: further complexity issues and applications(2006 Feb 23).
File allegati a questo prodotto
File | Dimensione | Formato | |
---|---|---|---|
FerraraAndrea258.pdf
accesso aperto
Tipologia:
Tesi di dottorato
Licenza:
Creative commons
Dimensione
619.81 kB
Formato
Adobe PDF
|
619.81 kB | Adobe PDF |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.