Beyer, D. und Huisman, M. (Hrsg.) (2018) Tools and Algorithms for the Construction and Analysis of Systems : 24 th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I [cd]. 1 st ed. 2018, Theoretical Computer Science and General Issues. 1 st ed. 2018. Cham: Springer International Publishing. doi:10.1007/978-3-319-89960-2.

Beyer, Dirk, und Marieke Huisman, Hrsg. Tools and Algorithms for the Construction and Analysis of Systems : 24 th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I. Cd. Theoretical Computer Science and General Issues. 1 st ed. 2018. Cham: Springer International Publishing, [2018?], Cham: Springer International Publishing, [2018?]. https://doi.org/10.1007/978-3-319-89960-2.

Tools and Algorithms for the Construction and Analysis of Systems : 24 th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I. (ca. 2018). [Cd]. In D. Beyer & M. Huisman (Hrsg.), Theoretical Computer Science and General Issues (1 st ed. 2018). Springer International Publishing. https://doi.org/10.1007/978-3-319-89960-2

Beyer, D., und M. Huisman, Herausgeber. „Tools and Algorithms for the Construction and Analysis of Systems : 24 th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I“. Theoretical Computer Science and General Issues, 1 st ed. 2018, cd, Springer International Publishing, 2018, https://doi.org/10.1007/978-3-319-89960-2.

BEYER, Dirk und Marieke HUISMAN (Hrsg.). 1 st ed. 2018. Cham: Springer International Publishing. ISBN 9783319899602