Groote, J.F. und Larsen, K.G. (Hrsg.) (2021) Tools and Algorithms for the Construction and Analysis of Systems : 27 th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II [cd]. 1 st ed. 2021, Theoretical Computer Science and General Issues. 1 st ed. 2021. Cham: Springer International Publishing. doi:10.1007/978-3-030-72013-1.
Chicago Manual of Style 17th edition (full note)Groote, Jan Friso, und Kim Guldstrand Larsen, Hrsg. Tools and Algorithms for the Construction and Analysis of Systems : 27 th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II. Cd. Theoretical Computer Science and General Issues. 1 st ed. 2021. Cham: Springer International Publishing, [2021?], Cham: Springer International Publishing, [2021?]. https://doi.org/10.1007/978-3-030-72013-1.
American Psychological Association 7th editionTools and Algorithms for the Construction and Analysis of Systems : 27 th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II. (ca. 2021). [Cd]. In J. F. Groote & K. G. Larsen (Hrsg.), Theoretical Computer Science and General Issues (1 st ed. 2021). Springer International Publishing. https://doi.org/10.1007/978-3-030-72013-1
Modern Language Association 9th editionGroote, J. F., und K. G. Larsen, Herausgeber. „Tools and Algorithms for the Construction and Analysis of Systems : 27 th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II“. Theoretical Computer Science and General Issues, 1 st ed. 2021, cd, Springer International Publishing, 2021, https://doi.org/10.1007/978-3-030-72013-1.
ISO-690 (author-date, Deutsch)GROOTE, Jan Friso und Kim Guldstrand LARSEN (Hrsg.). 1 st ed. 2021. Cham: Springer International Publishing. ISBN 9783030720131