VOJNAR, Tomáš, 2019. Tools and Algorithms for the Construction and Analysis of Systems : 25 th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II. [Erscheinungsort nicht ermittelbar]: Springer Nature.
Elsevier - Harvard (with titles)Vojnar, T., 2019. Tools and Algorithms for the Construction and Analysis of Systems : 25 th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II, Lecture Notes in Computer Science. Springer Nature, [Erscheinungsort nicht ermittelbar]. https://doi.org/20.500.12657/23328
American Psychological Association 7th editionVojnar, T. (ca. 2019). Tools and Algorithms for the Construction and Analysis of Systems : 25 th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II [Cd]. In L. Zhang (Hrsg.), Lecture Notes in Computer Science. Springer Nature. https://doi.org/20.500.12657/23328
Springer - Basic (author-date)Vojnar T (2019) Tools and Algorithms for the Construction and Analysis of Systems : 25 th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II. Springer Nature, [Erscheinungsort nicht ermittelbar]
Juristische Zitierweise (Stüber) (Deutsch)Vojnar, Tomáš, Tools and Algorithms for the Construction and Analysis of Systems : 25 th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II, [Erscheinungsort nicht ermittelbar] 2019.