SI, Yuanjie, SUN, Jun, LIU, Yang, DONG, Jin, PANG, Jun, ZHANG, Shao und YANG, Xiaohu, 2014. Model checking with fairness assumptions using PAT. Frontiers of Computer Science. 1 Februar 2014. Vol. 8, no. 1, p. 1-16. DOI 10.1007/s11704-013-3091-5.
Elsevier - Harvard (with titles)Si, Y., Sun, J., Liu, Y., Dong, J., Pang, J., Zhang, S., Yang, X., 2014. Model checking with fairness assumptions using PAT. Frontiers of Computer Science 8, 1-16. https://doi.org/10.1007/s11704-013-3091-5
American Psychological Association 7th editionSi, Y., Sun, J., Liu, Y., Dong, J., Pang, J., Zhang, S., & Yang, X. (2014). Model checking with fairness assumptions using PAT. Frontiers of Computer Science, 8(1), 1-16. https://doi.org/10.1007/s11704-013-3091-5
Springer - Basic (author-date)Si Y, Sun J, Liu Y, Dong J, Pang J, Zhang S, Yang X (2014) Model checking with fairness assumptions using PAT.. Frontiers of Computer Science 8:1-16. https://doi.org/10.1007/s11704-013-3091-5
Juristische Zitierweise (Stüber) (Deutsch)Si, Yuanjie/ Sun, Jun/ Liu, Yang/ Dong, Jin/ Pang, Jun/ Zhang, Shao/ Yang, Xiaohu, Model checking with fairness assumptions using PAT., Frontiers of Computer Science 2014, 1-16.