Model Checking for Communicating Quantum Processes (2012)

First Author: Davidson Tim
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