Quantum PL & Verification Bibliography
About
Papers
People
Venues
Tags
Posts
Variants
BibLaTeX
BibTeX
bibtex2html
BibBase
Mailing List
Light
Dark
Automatic
Rajagopal Nagarajan
Latest
Automated Equivalence Checking of Concurrent Quantum Systems
Formalization of Quantum Protocols using Coq
QMC: A Model Checker for Quantum Systems
Communicating Quantum Processes
Cite
×