The investigation on the relationship between the problem of long-term loan and economic growth

von Du, Wenjie
Veröffentlicht in China finance review international (2011)

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)

Qsimulation V2.0: An Optimized Quantum Simulator

von Wu, Hua
Veröffentlicht in ICTAC (17. : 2020 : Online) Theoretical aspects of computing - ICTAC 2020 (2020)