New
Every arXiv paper, its researchers & institutions — mapped.
◍
wove
paper
Search
Papers
Researchers
Institutions
Sign in
papers
Publications (1)
quant-ph
2017
Formal verification of quantum communication protocols using Petri nets
Sheng Zhang, Yonghui Ma, Chunning Meng +1