Kim Guldstrand Larsen
Kim Guldstrand Larsen
Affiliation: Aalborg University
Pages in this Program
Analysis and Verification of Quantum Communication Protocols in UPPAAL
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑