BEYER, Dirk, HUISMAN, Marieke, KORDON, Fabrice und STEFFEN, Bernhard (Hrsg.). 1 st ed. 2019. Cham: Springer International Publishing. ISBN 9783030175023.
Elsevier - Harvard (with titles)Beyer, D., Huisman, M., Kordon, F., Steffen, B. (Hrsg.), 2019. Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III, 1 st ed. 2019. ed, Theoretical Computer Science and General Issues. Springer International Publishing, Cham. https://doi.org/10.1007/978-3-030-17502-3
American Psychological Association 7th editionTools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III. (ca. 2019). [Cd]. In D. Beyer, M. Huisman, F. Kordon, & B. Steffen (Hrsg.), Theoretical Computer Science and General Issues (1 st ed. 2019). Springer International Publishing. https://doi.org/10.1007/978-3-030-17502-3
Springer - Basic (author-date)Beyer D, Huisman M, Kordon F, Steffen B (Hrsg.) (2019) Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III, 1 st ed. 2019. Springer International Publishing, Cham
Juristische Zitierweise (Stüber) (Deutsch)Beyer, Dirk/ Huisman, Marieke/ Kordon, Fabrice/ Steffen, Bernhard (Hrsg.), Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III, 1 st ed. 2019 , Cham 2019.