Pubblicazioni

Domenico PARENTE Pubblicazioni


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
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, Margherita; Parente, Domenico
Montanari, A; Napoli, Margherita; Parente, Domenico
Visualizza sul Database dei Prodotti (IRIS)
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
Visualizza sul Database dei Prodotti (IRIS)