Pubblicazioni

Domenico PARENTE Pubblicazioni


2010
Curatela
Curatore/i di Proceedings First Symposium on Games, Automata, Logic, and Formal Verification. Di Angelo Montanari; Margherita Napoli; Mimmo ParenteVol. 25.
Angelo Montanari; Margherita Napoli; Mimmo Parente
Digital Object Identifier (DOI): 10.4204/EPTCS.25
Visualizza sul Database dei Prodotti (IRIS)
2010
Curatela
Curatore/i di Proceedings of First International Symposium on Games, Automata, Logics and Formal Verification (GANDALF 2010). Di MONTANARI A; NAPOLI M; D. PARENTE
MONTANARI A; NAPOLI M; D. PARENTE
Visualizza sul Database dei Prodotti (IRIS)
2010
Curatela
Curatore/i di Proceeding of the 1st International Sumposium on Games, Automata, Logics and Formal Verification (GANDALF 2010). Di MONTANARI A; M. NAPOLI; PARENTE M
MONTANARI A; M. NAPOLI; PARENTE M
Visualizza sul Database dei Prodotti (IRIS)