An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games

FAELLA, MARCO (2007) An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games. In: CAV (19th International Conference on Computer Aided Verification), August, 2007, Berlin (Germany).

Full text non disponibile da questo archivio.


Tipologia di documento:Contributo in atti di congresso o conferenza (Non specificato)
Settori scientifico-disciplinari MIUR:Non specificato
Stato del full text:Accessibilità ristretta
Data:2007
Altri Autori:M. FAELLA; L. DE ALFARO
Editore:Springer
Luogo di pubblicazione:Berlin
Numero di pagine:0
Intervallo di pagina:pp. 108-120
Volume:4590
Dipartimento o Struttura:Dipartimento di Scienze Fisiche
ISBN:978-3-540-73367-6
Titolo dell'evento:CAV (19th International Conference on Computer Aided Verification)
Luogo dell'Evento:Berlin (Germany)
Data dell'evento:August, 2007
Numero identificativo:10.1007/978-3-540-73368-3
Numero di sistema:5678
Depositato il:18 Ottobre 2010 10:15
Ultima modifica:18 Ottobre 2010 10:15

Solo per gli Amministratori dell'archivio: edita il record