Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Matthias Zinner
conf.researchr.org general profile
POPL 2020 profile
Not registered as user
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 2 Jan 15:58