Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1207.1271
Cited By
Automated Verification of Quantum Protocols using MCMAS
4 July 2012
Francesco Belardinelli
P. Gonzalez
A. Lomuscio
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Automated Verification of Quantum Protocols using MCMAS"
1 / 1 papers shown
Symbolic Abstractions for Quantum Protocol Verification
L. Hirschi
167
1
0
08 Apr 2019
1
Page 1 of 1
