BEYER, Dirk und HUISMAN, Marieke, 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. [Erscheinungsort nicht ermittelbar]: Springer Nature. ISBN 9783319899602.
Elsevier - Harvard (with titles)Beyer, D., Huisman, M., 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. Springer Nature, [Erscheinungsort nicht ermittelbar].
American Psychological Association 7th editionBeyer, D., & Huisman, M. (ca. 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]. Springer Nature.
Springer - Basic (author-date)Beyer D, Huisman M (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. Springer Nature, [Erscheinungsort nicht ermittelbar]
Juristische Zitierweise (Stüber) (Deutsch)Beyer, Dirk/ Huisman, Marieke, 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, [Erscheinungsort nicht ermittelbar] 2018.