Typeness for omega-Regular Automata / Kupferman, O; Morgenstern, G; Murano, Aniello. - STAMPA. - 3835:(2004), pp. 324-338. (Intervento presentato al convegno 2nd International Symposium on Automated Technology for Verification and Analysis (ATVA'04) tenutosi a Taipei,Taiwan nel 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.