Francesco Spegni

Years Active: 2017-2017
Publications (10 Years): 1

Università Politecnica delle Marche

This page only lists publications with an associated author ORCID identifier.

Affiliation History

Università Politecnica delle Marche Feb 01 2016 - Jan 31 2019

Italy

Post Doc :: Ingegneria dell'Informazione

Publications

Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith
Parameterized model checking of rendezvous systems. Distributed computing 31 (3) (2017)

Francesco Spegni.css-eqlu8i{font-size:small;padding-left:4px;}