Graded Alternating-Time Temporal Logic / Faella, M., M., N., M., P.. - In: FUNDAMENTA INFORMATICAE. - ISSN 0169-2968. - STAMPA. - 105:(2010), pp. 189-210.
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.


