Verifying Communicating Quantum Processes using QMC

by Tim Davidson, Hynek Mlnavrík, Rajagopal Nagarajan, Nikolaos Papanikolaou
Reference:
Verifying Communicating Quantum Processes using QMC (Tim Davidson, Hynek Mlnavrík, Rajagopal Nagarajan, Nikolaos Papanikolaou), Technical report, Department of Computer Science, University of Warwick., 2008.
Bibtex Entry:
@TECHREPORT{Davidson2008,
  author = {Tim Davidson and Hynek Mlnav{r}'ik and Rajagopal Nagarajan and
	Nikolaos Papanikolaou},
  title = {Verifying Communicating Quantum Processes using {QMC}},
  institution = {Department of Computer Science, University of Warwick.},
  year = {2008},
  owner = {Nick},
  timestamp = {2010.06.20}
}