Masaryk University

Publication Records

česky | in English

Filter publications

    2012

    1. Model Checking for Communicating Quantum Processes.
      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.
      More: https://is.muni.cz/publication/1072706/en
Display details
Displayed: 28/4/2024 07:15