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).

Il contenuto (Full text) non è disponibile all'interno di questo archivio.
Tipologia del documento: Contributo a Convegno o Workshop ([non definito])
Lingua: English
Titolo: An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games
Autori:
AutoreEmail
Faella, Marco[non definito]
Autore/i: M. FAELLA; L. DE ALFARO
Data: 2007
Numero di pagine: 0
Dipartimento: Scienze fisiche
Numero identificativo: 10.1007/978-3-540-73368-3
Titolo dell'evento: CAV (19th International Conference on Computer Aided Verification)
Luogo dell'evento: Berlin (Germany)
Data dell'evento: August, 2007
Titolo dell'opera che contiene il documento: Lecture Notes in Computer Science
Nazione dell'editore: GERMANIA
Luogo di pubblicazione: Berlin
Editore: Springer
Data: 2007
ISBN: 978-3-540-73367-6
Volume: 4590
Intervallo di pagine: pp. 108-120
Numero di pagine: 0
Numero identificativo: 10.1007/978-3-540-73368-3
Depositato il: 18 Ott 2010 08:15
Ultima modifica: 30 Apr 2014 19:41
URI: http://www.fedoa.unina.it/id/eprint/5678

Actions (login required)

Modifica documento Modifica documento