Model Checking for Communicating Quantum Processes (2012)
Attributed to:
NETWORK: Semantics of Quantum Computation
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Journal Article/Review
Volume: 8
Parent Publication: INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING
Issue: 1
ISSN: 1548-7199