Browse by Journal
![]() | See full list of headings |
Jump to: D
Number of items: 1.
D
Davidson, Tim, Gay, Simon J., Mlnařík, Hynek, Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 and Papanikolaou, Nikolaos K.
(2012)
Model checking for communicating quantum processes.
International Journal of Unconventional Computing, 8
(1)
.
pp. 73-98.
ISSN 1548-7199
[Article]