Pubblicazioni

Gorrieri, Roberto, Process Algebras for Petri Nets - The Alphabetization of Distributed Systems, Cham, Springer, 2017, pp. 302 . [Monografia/Trattato scientifico in forma di libro]

Troina, Angelo, Probabilistic Timed Automata for Security Analysis and Design, North Charleston, SC 29406, CreateSpace, 2017, pp. 146 . [Monografia/Trattato scientifico in forma di libro]

Mauro, Gaspari; Gianluigi, Roveda, Informatica per L'Impresa Tra Soluzione Proprietarie ed Open Sorce, Bologna, Pitagora Editrice, 2017, pp. 323 . [Monografia/Trattato scientifico in forma di libro]