|
|||||
|
|
Verification of distributed systems with the axiomatic system of MSVL |
|
| Authors: | Qian Ma Zhenhua Duan Nan Zhang Xiaobing Wang |
| Affiliation: | 1. Institute of Computing Theory and Technology, Xidian University, No. 2 South Tai Bai Road, P.O. Box 177, Xi’an, 710071, China |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |