Publication Records

DAVIDSON, T, S J GAY, Hynek MLNAŘÍK, Rajagopal NAGARAJAN and N PAPANIKOLAOU. Model Checking for Communicating Quantum Processes. International Journal of Unconventional Computing. Old City Publishing, Inc., 2012, vol. 8, No 1, p. 73-98. ISSN 1548-7199.

ZIMAN, Mario and Vladimír BUZEK. Correlation-assisted quantum communication. Physical Review A. USA: American Physical Society, 2003, vol. 67, No 04, p. 2321-2327. ISSN 1050-2947.