Silvano DAL ZILIO - POPL 2024

Sun 14 - Sat 20 January 2024 London, United Kingdom

Registered user since Mon 14 Jun 2021

Name:Silvano DAL ZILIO

Country:France

Affiliation:LAAS-CNRS

Personal website: https://homepages.laas.fr/dalzilio/

GitHub: https://github.com/dalzilio

Contributions

2024

VMCAI

Project and Conquer: Fast Quantifier Elimination for Checking Petri Nets Reachability

Show activities from other conferences

POPL 2024-profile
View general profile