Domenico PARENTE | Publications

31019Proceeding of the 1st International Sumposium on Games, Automata, Logics and Formal Verification (GANDALF 2010)

	2010
	Curatela
	Curatore/i di Proceeding of the 1st International Sumposium on Games, Automata, Logics and Formal Verification (GANDALF 2010). Di Montanari, A; Napoli, Margherita; Parente, Domenico
	Montanari, A; Napoli, Margherita; Parente, Domenico
	Show it in Product Database (IRIS)

31023Proceedings of First International Symposium on Games, Automata, Logics and Formal Verification (GANDALF 2010)

	2010
	Curatela
	Curatore/i di Proceedings of First International Symposium on Games, Automata, Logics and Formal Verification (GANDALF 2010). Di Montanari, A; Napoli, Margherita; Parente, Domenico
	Montanari, A; Napoli, Margherita; Parente, Domenico
	Show it in Product Database (IRIS)

38252Proceedings First Symposium on Games, Automata, Logic, and Formal Verification

	2010
	Curatela
	Curatore/i di Proceedings First Symposium on Games, Automata, Logic, and Formal Verification. Di Angelo, Montanari; Napoli, Margherita; Parente, DomenicoVol. 25.
	Angelo, Montanari; Napoli, Margherita; Parente, Domenico
	Digital Object Identifier (DOI): 10.4204/EPTCS.25
	Show it in Product Database (IRIS)