Formal Verification of linear optical quantum computing using quantum process algebra

Research output: Contribution to conferencePoster

Original languageEnglish
Publication statusPublished - 2014

Cite this