Browsing byAuthorTurrini, A
Showing results 5 to 5 of 5< previous
Issue Date | Title | Author(s) |
---|---|---|
2015-01-01 | QPMC: A model checker for quantum programs and protocols | Feng, Y; Hahn, EM; Turrini, A; Zhang, L |
Issue Date | Title | Author(s) |
---|---|---|
2015-01-01 | QPMC: A model checker for quantum programs and protocols | Feng, Y; Hahn, EM; Turrini, A; Zhang, L |