conf.researchr.org / Dominik Klumpp
Not registered as user yet
Name: Dominik Klumpp
Country: Germany
Affiliation: University of Freiburg
Contributions
| VMCAI 2021 | Author of Verification of Concurrent Programs Using Petri Net Unfoldings within the VMCAI-track |