Items where Author / Artist / Editor is "Gupta, Aarti"
 | See full list of headings |
Group by: Item Type | No Grouping
Jump to: Book Section
Number of items: 1.
Book Section
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)
