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
Citace podle Chicago (17th ed.)Ma, Qian, Zhenhua Duan, Nan Zhang, a 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.
Citace podle MLA (9th ed.)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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..