Dimitar Guelev
Dimitar Guelev
Affiliation: Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, Sofia, Bulgaria
Pages in this Program
A Complete Proof System for HyperLTL
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑