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 II. [ca. 2018]. In D. Beyer & M. Huisman (Hrsg.), Theoretical Computer Science and General Issues (1 st ed. 2018) [Cd]. Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-89963-3

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

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 II“. Theoretical Computer Science and General Issues, 1 st ed. 2018, cd, Springer International Publishing, 2018, https://doi.org/10.1007/978-3-319-89963-3.

: 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 II, 1 st ed. 2018. Aufl. Cham 2018.

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