![](/img/cover-not-exists.png)
Verification of distributed systems with the axiomatic system of MSVL
Ma, Qian, Duan, Zhenhua, Zhang, Nan, Wang, XiaobingVolume:
27
Language:
english
Journal:
Formal Aspects of Computing
DOI:
10.1007/s00165-014-0303-1
Date:
January, 2015
File:
PDF, 556 KB
english, 2015