Pubblicazioni

Domenico PARENTE Pubblicazioni


2013
Contributo in Atti di convegno
Model checking coalitional games in shortage resource scenarios.
In: Fourth International Symposium on Games, Automata, Logics and Formal Verification EPTCS Vol.119, Pag.240-255
International Symposium on Games, Automata, Logics and Formal Verification (GANDALF)
Borca di Cadore, Italy 29th to 31st of August 2013.
Della Monica, Dario; Napoli, Margherita; Parente, Mimmo
Versione online
Digital Object Identifier (DOI): 10.4204/EPTCS.119.20
Visualizza sul Database dei Prodotti (IRIS)