Zhao, Y., Xiao, H., Wang, Z., Pu, G., & Su, T. (2014). The semantics and verification of timed service choreography. International Journal of Computer Mathematics, 91(3), 384-402. https://doi.org/10.1080/00207160.2013.796369
Citace podle Chicago (17th ed.)Zhao, Yongxin, Hao Xiao, Zheng Wang, Geguang Pu, a Ting Su. "The Semantics and Verification of Timed Service Choreography." International Journal of Computer Mathematics 91, no. 3 (2014): 384-402. https://doi.org/10.1080/00207160.2013.796369.
Citace podle MLA (9th ed.)Zhao, Yongxin, et al. "The Semantics and Verification of Timed Service Choreography." International Journal of Computer Mathematics, vol. 91, no. 3, 2014, pp. 384-402, https://doi.org/10.1080/00207160.2013.796369.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..