Not registered as user yet

Name:Claus Schätzle
Country:Germany
Affiliation:University of Freiburg

Contributions

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