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
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

This list was generated on Wed Aug 5 04:41:50 2020 BST.