Beyer, D., Huisman, M., Kordon, F. und 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 [cd]. 1 st ed. 2019, Theoretical Computer Science and General Issues. 1 st ed. 2019. Cham: Springer International Publishing. doi:10.1007/978-3-030-17502-3.

Beyer, Dirk, Marieke Huisman, Fabrice Kordon, und Bernhard Steffen, 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. Cd. Theoretical Computer Science and General Issues. 1 st ed. 2019. Cham: Springer International Publishing, [2019?], Cham: Springer International Publishing, [2019?]. https://doi.org/10.1007/978-3-030-17502-3.

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. (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

Beyer, D., M. Huisman, F. Kordon, und B. Steffen, Herausgeber. „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“. Theoretical Computer Science and General Issues, 1 st ed. 2019, cd, Springer International Publishing, 2019, https://doi.org/10.1007/978-3-030-17502-3.

BEYER, Dirk, Marieke HUISMAN, Fabrice KORDON und Bernhard STEFFEN (Hrsg.). 1 st ed. 2019. Cham: Springer International Publishing. ISBN 9783030175023