Kim Guldstrand Larsen
Kim Guldstrand Larsen
Affiliation: Aalborg University
Talks
(CAV)
Analysis and Verification of Quantum Communication Protocols in UPPAAL · Quantum
Pages in this Program
Program
Program on Wednesday, 29 July 2026
CAV on Wednesday, 29 July 2026
CAV Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑