APA (7th ed.) Citation

Ma, Q., Duan, Z., Zhang, N., & Wang, X. (2015). Verification of distributed systems with the axiomatic system of MSVL. Formal aspects of computing, 27(1), 103-131. https://doi.org/10.1007/s00165-014-0303-1

Chicago Style (17th ed.) Citation

Ma, Qian, Zhenhua Duan, Nan Zhang, and Xiaobing Wang. "Verification of Distributed Systems with the Axiomatic System of MSVL." Formal Aspects of Computing 27, no. 1 (2015): 103-131. https://doi.org/10.1007/s00165-014-0303-1.

MLA (9th ed.) Citation

Ma, Qian, et al. "Verification of Distributed Systems with the Axiomatic System of MSVL." Formal Aspects of Computing, vol. 27, no. 1, 2015, pp. 103-131, https://doi.org/10.1007/s00165-014-0303-1.