Witness and counterexample automata for ACTL / R. MEOLIC; A. FANTECHI; S. GNESI. - STAMPA. - 3235:(2004), pp. 259-275. (Intervento presentato al convegno FORTE 2004, LNCS 3235 tenutosi a Madrid, Spagna. nel Settembre 2004).
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
FORTE04.pdf
Accesso chiuso
Tipologia:
Versione finale referata (Postprint, Accepted manuscript)
Licenza:
Tutti i diritti riservati
Dimensione
164.5 kB
Formato
Adobe PDF
|
164.5 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
