Not registered as user yet

Name: Enrico Magnago

Country: Italy

Affiliation: Fondazione Bruno Kessler

Contributions

VMCAI 2021 Author of Proving the existence of fair paths in infinite state systems within the VMCAI-track