Pubblicazioni

Domenico PARENTE Pubblicazioni


2011
Contributo in Atti di convegno
Coalitional Games with Priced-Resource Agents.
In: CILC 2011, 26th Italian Conference on Computational Logic CEUR-WS.org Pag.341-347
CILC 2011, 26th Italian Conference on Computational Logic
pescara (italy) 31 August 2011 Through 2 September 2011
DELLA MONICA, Dario; Napoli, Margherita; Parente, Domenico
Digital Object Identifier (DOI): 10.1007/978-3-642-02846-5_32
Codice identificativo ISI: WOS:000268998400026
Codice identificativo SCOPUS: 2-s2.0-84883370333
Visualizza sul Database dei Prodotti (IRIS)
2011
Contributo in Atti di convegno
Graded CTL model checking for test generation..
In: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (TMS-DEVS) SCS/ACM Pag.59-66
ISBN:9781930638563
Conference of Theory of Modeling and Simulation: DEVS Integrative M and S Symposium 2011, TMS-DEVS 2011
Boston, MA 3 April 2011 Through 7 April 2011
Napoli, Margherita; Parente, Domenico
Codice identificativo ISI: WOS:000398858400007
Codice identificativo SCOPUS: 2-s2.0-84887037894
Visualizza sul Database dei Prodotti (IRIS)