Statistics
Publications
4
Citations
105
H-Index
4
Active since
2011
Affiliations
Marche Polytechnic University(Current)
Francesco Spegni is an author at Marche Polytechnic University specializing in construction management, model checking, and computer systems.
Publications per year
2011–2022
4
4
Parameterized model checking of rendezvous systems
Benjamin Aminof, Tomer Kotek, Sasha Rubin et al. · Distributed Computing · 2017 · 40 citations · Full text
1–4 of 4