Browsing byAuthorHahn, EM
Showing results 2 to 2 of 2< 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 |