Items where Author / Artist / Editor is "Malik, Sharad"

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

Gay, Simon J., Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 and Papanikolaou, Nikolaos (2008) QMC: a model checker for quantum systems. In: Computer Aided Verification : 20th International Conference, (CAV 2008) Proceedings. Gupta, Aarti and Malik, Sharad, eds. Lecture Notes in Computer Science (5123) . Springer, Berlin, pp. 543-547. ISBN 9783540705437. [Book Section] (doi:10.1007/978-3-540-70545-1_51)

This list was generated on Thu Nov 26 05:17:08 2020 GMT.