Browse by Journal

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors/Editors | Item Type | No Grouping
Number of items: 1.

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]

This list was generated on Thu Nov 26 04:45:18 2020 GMT.