Analysis and Verification of Quantum Communication Protocols in UPPAAL Artifact

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: René Bødker Christensen, Nikolaj Kristensen Rossander, Kim G. Larsen, Marius Mikučionis, Jǐŕı Srba, Loke Walsted
DOI: 10.5281/zenodo.19845969
Cited by: 1

Abstract

This archive contains artifacts for "Analysis and Verification of Quantum Communication Protocols in UPPAAL" paper for CAV'26.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
3 June 2026