Timothy A. S. Davidson, Simon J. Gay, Hynek Mlnarik, Rajagopal Nagarajan, Nick Papanikolaou. Model Checking for Communicating Quantum Processes. IJUC, 8(1):73-98, 2012. [doi]
@article{DavidsonGMNP12,
title = {Model Checking for Communicating Quantum Processes},
author = {Timothy A. S. Davidson and Simon J. Gay and Hynek Mlnarik and Rajagopal Nagarajan and Nick Papanikolaou},
year = {2012},
url = {http://www.oldcitypublishing.com/IJUC/IJUCabstracts/IJUC8.1abstracts/IJUCv8n1p73-98Davidson.html},
researchr = {https://researchr.org/publication/DavidsonGMNP12},
cites = {0},
citedby = {0},
journal = {IJUC},
volume = {8},
number = {1},
pages = {73-98},
}