Analysis and Verification of Quantum Communication Protocols in UPPAAL Artifact
0Citations signalées, ce qui n’est pas une note de qualité
1Institutions déclarées
1Pays d’affiliation déclarés
Rattachement africain : dk. Niveau de preuve : code pays fourni par la source.
Le résumé fourni par la source
This archive contains artifacts for "Analysis and Verification of Quantum Communication Protocols in UPPAAL" paper for CAV'26.
Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.
Le contrôle bibliographique ouvert
La source scientifique ouverte est momentanément indisponible.
Où se fait cette recherche
-
Aalborg University pays non établi dans la noticeUniversité ou école supérieure
-
Veriaal ApS pays non établi dans la noticeInstitution
Aalborg University et Veriaal ApS.
Une affiliation ne permet pas de déduire la nationalité d’un auteur.