BEYER, Dirk und HUISMAN, Marieke (Hrsg.). 1 st ed. 2018. Cham: Springer International Publishing. ISBN 9783319899633.
Elsevier - Harvard (with titles)Beyer, D., 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, 1 st ed. 2018. ed, Theoretical Computer Science and General Issues. Springer International Publishing, Cham. https://doi.org/10.1007/978-3-319-89963-3
American Psychological Association 7th editionTools 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). [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-89963-3
Springer - Basic (author-date)Beyer D, 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, 1 st ed. 2018. Springer International Publishing, Cham
Juristische Zitierweise (Stüber) (Deutsch)Beyer, Dirk/ Huisman, Marieke (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 II, 1 st ed. 2018 , Cham 2018.