Browsing by Author Qin, Shengchao
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | |
|---|---|---|---|
| 2018 | A UTP semantics for communicating processes with shared variables and its formal encoding in PVS | Shi, Ling; Zhao, Yongxin; Liu, Yang; Sun, Jun; Dong, Jin Song; Qin, Shengchao |