Registered user since Sat 26 Dec 2020

Name: Mehdi Naouar

Country: Germany

Affiliation: University of Freiburg

Contributions

VMCAI 2021 Author of Verification of Concurrent Programs Using Petri Net Unfoldings within the VMCAI-track