BIONDI, Fabrizio, GIVEN-WILSON, Thomas und LEGAY, Axel (Hrsg.). 1 st ed. 2019. Cham: Springer International Publishing. ISBN 9783030309237.
Elsevier - Harvard (with titles)Biondi, F., Given-Wilson, T., Legay, A. (Hrsg.), 2019. Model Checking Software : 26 th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings, 1 st ed. 2019. ed, Theoretical Computer Science and General Issues. Springer International Publishing, Cham. https://doi.org/10.1007/978-3-030-30923-7
American Psychological Association 7th editionModel Checking Software : 26 th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings. (ca. 2019). [Cd]. In F. Biondi, T. Given-Wilson, & A. Legay (Hrsg.), Theoretical Computer Science and General Issues (1 st ed. 2019). Springer International Publishing. https://doi.org/10.1007/978-3-030-30923-7
Springer - Basic (author-date)Biondi F, Given-Wilson T, Legay A (Hrsg.) (2019) Model Checking Software : 26 th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings, 1 st ed. 2019. Springer International Publishing, Cham
Juristische Zitierweise (Stüber) (Deutsch)Biondi, Fabrizio/ Given-Wilson, Thomas/ Legay, Axel (Hrsg.), Model Checking Software : 26 th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings, 1 st ed. 2019 , Cham 2019.