Typeness for omega-Regular Automata / Kupferman, O., Morgenstern, G., Murano, A.. - STAMPA. - 3835:(2004), pp. 324-338. (2nd International Symposium on Automated Technology for Verification and Analysis (ATVA'04) Taipei,Taiwan 31 Ottobre - 4 Novembre, 2004.).
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
ATVA-postprint.pdf
non disponibili
Tipologia:
Documento in Post-print
Licenza:
Accesso privato/ristretto
Dimensione
271.38 kB
Formato
Adobe PDF
|
271.38 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.


