Filtrování

    2012

    1. Model Checking for Communicating Quantum Processes.
      DAVIDSON, T; S J GAY; Hynek MLNAŘÍK; Rajagopal NAGARAJAN a N PAPANIKOLAOU. Model Checking for Communicating Quantum Processes. International Journal of Unconventional Computing. Old City Publishing, Inc., 2012, roč. 8, č. 1, s. 73-98. ISSN 1548-7199.
      Podrobněji: https://is.muni.cz/publication/1072706/cs
Zobrazit podrobně