Journal article
Model Checking for Communicating Quantum Processes
Authors
Davidson T; Gay SJ; Mlnarik H; Nagarajan R; Papanikolau N
Journal
INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING, Vol. 8, No. 1, pp. 73–98
Publisher
OLD CITY PUBLISHING INC
Publication Date
January 1, 2012
ISSN
1548-7199