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]. In D. Beyer, M. Huisman, F. Kordon, & B. Steffen (Hrsg.), Theoretical Computer Science and General Issues (1 st ed. 2019) [Cd]. Cham: Springer International Publishing. https://doi.org/10.1007/978-3-030-17502-3

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

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.

: 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. Aufl. Cham 2019.

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, Theoretical Computer Science and General Issues, 1 st ed. 2019., Bd. , Springer International Publishing, Cham, verfügbar unter:https://doi.org/10.1007/978-3-030-17502-3.