| Original language | English |
|---|---|
| Publication status | Published - 2014 |
Formal Verification of linear optical quantum computing using quantum process algebra
Research output: Contribution to conference › Poster › peer-review
Research output: Contribution to conference › Poster › peer-review
| Original language | English |
|---|---|
| Publication status | Published - 2014 |