DELIGIANNIS, Nikolaos Ioannis, FALLER, Tobias, RODRIGUEZ CONDIA, Josie Esteban, CANTORO, Riccardo, BECKER, Bernd und SONZA REORDA, Matteo, 2025. Enhancing the effectiveness of STLs for GPUs via bounded model checking. Freiburg: Universität.
Elsevier - Harvard (with titles)Deligiannis, N.I., Faller, T., Rodriguez Condia, J.E., Cantoro, R., Becker, B., Sonza Reorda, M., 2025. Enhancing the effectiveness of STLs for GPUs via bounded model checking. Universität, Freiburg. https://doi.org/10.1145/3706635
American Psychological Association 7th editionDeligiannis, N. I., Faller, T., Rodriguez Condia, J. E., Cantoro, R., Becker, B., & Sonza Reorda, M. (ca. 2025). Enhancing the effectiveness of STLs for GPUs via bounded model checking [Cd]. Universität. https://doi.org/10.1145/3706635
Springer - Basic (author-date)Deligiannis NI, Faller T, Rodriguez Condia JE, Cantoro R, Becker B, Sonza Reorda M (2025) Enhancing the effectiveness of STLs for GPUs via bounded model checking. Universität, Freiburg
Juristische Zitierweise (Stüber) (Deutsch)Deligiannis, Nikolaos Ioannis/ Faller, Tobias/ Rodriguez Condia, Josie Esteban/ Cantoro, Riccardo/ Becker, Bernd/ Sonza Reorda, Matteo, Enhancing the effectiveness of STLs for GPUs via bounded model checking, Freiburg 2025.