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. [ca. 2021]. In J. F. Groote & K. G. Larsen (Hrsg.), Theoretical Computer Science and General Issues (1 st ed. 2021) [Cd]. Cham: Springer International Publishing. https://doi.org/10.1007/978-3-030-72013-1

GROOTE, Jan Friso und LARSEN, Kim Guldstrand (Hrsg.). 1 st ed. 2021. Cham: Springer International Publishing. ISBN 9783030720131.

Groote, 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.

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

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