Domenico PARENTE | 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, Domenico | |
| Versione online | |
| Digital Object Identifier (DOI): 10.4204/EPTCS.119.20 | |
| Visualizza sul Database dei Prodotti (IRIS) |
