Verifying Quantum Communication Protocols with Ground Bisimulation

von Qin, Xudong
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2020)