Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Matthias Zinner
conf.researchr.org general profile
POPL 2020 profile
Not registered as user yet
Name:
Matthias Zinner
Country:
Germany
Affiliation:
FAU Erlangen-Nürnberg
Contributions
2020
VMCAI
Author of Cheap CTL Compassion in NuSMV within the VMCAI 2020-track
Share
x
Thu 21 Nov 13:09