LIU, Yinling, WANG, Tao, ZHANG, Haiqing und CHEUTET, Vincent, 2021. An improved approach on the model checking for an agent-based simulation system. Software & Systems Modeling. 1 April 2021. Vol. 20, no. 2, p. 429-445. DOI 10.1007/s10270-020-00807-4.
Elsevier - Harvard (with titles)Liu, Y., Wang, T., Zhang, H., Cheutet, V., 2021. An improved approach on the model checking for an agent-based simulation system. Software & Systems Modeling 20, 429-445. https://doi.org/10.1007/s10270-020-00807-4
American Psychological Association 7th editionLiu, Y., Wang, T., Zhang, H., & Cheutet, V. (2021). An improved approach on the model checking for an agent-based simulation system. Software & Systems Modeling, 20(2), 429-445. https://doi.org/10.1007/s10270-020-00807-4
Springer - Basic (author-date)Liu Y, Wang T, Zhang H, Cheutet V (2021) An improved approach on the model checking for an agent-based simulation system.. Software & Systems Modeling 20:429-445. https://doi.org/10.1007/s10270-020-00807-4
Juristische Zitierweise (Stüber) (Deutsch)Liu, Yinling/ Wang, Tao/ Zhang, Haiqing/ Cheutet, Vincent, An improved approach on the model checking for an agent-based simulation system., Software & Systems Modeling 2021, 429-445.