Graded Alternating-Time Temporal Logic / Faella, Marco; M., Napoli; M., Parente. - 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.