Chunning Meng

Identifiers

No identifiers captured yet.

Papers (1)

1. Formal verification of quantum communication protocols using Petri nets quant-ph · 2017 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Haiping Wang 1 shared papers
• Sheng Zhang 1 shared papers
• Yonghui Ma 1 shared papers