An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games / Faella, Marco; L., DE ALFARO. - STAMPA. - 4590:(2007), pp. 108-120. (Intervento presentato al convegno CAV (19th International Conference on Computer Aided Verification) tenutosi a Berlin (Germany) nel August, 2007) [10.1007/978-3-540-73368-3].
An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games
FAELLA, MARCO;
2007
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.