Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/ats/DeligiannisFCC022
%A Deligiannis, Nikolaos Ioannis
%A Faller, Tobias
%A Condia, Josie E. Rodriguez
%A Cantoro, Riccardo
%A Becker, Bernd
%A Reorda, Matteo Sonza
%B ATS
%D 2022
%I IEEE
%K dblp
%P 84-89
%T Using Formal Methods to Support the Development of STLs for GPUs.
%U http://dblp.uni-trier.de/db/conf/ats/ats2022.html#DeligiannisFCC022
%@ 978-1-6654-7227-2
@inproceedings{conf/ats/DeligiannisFCC022,
added-at = {2024-02-05T00:00:00.000+0100},
author = {Deligiannis, Nikolaos Ioannis and Faller, Tobias and Condia, Josie E. Rodriguez and Cantoro, Riccardo and Becker, Bernd and Reorda, Matteo Sonza},
biburl = {https://www.bibsonomy.org/bibtex/24faffc34dd98dc47938bc23a68e1088b/dblp},
booktitle = {ATS},
crossref = {conf/ats/2022},
ee = {https://doi.org/10.1109/ATS56056.2022.00027},
interhash = {4a2290522f21127d165a5adbf6c30369},
intrahash = {4faffc34dd98dc47938bc23a68e1088b},
isbn = {978-1-6654-7227-2},
keywords = {dblp},
pages = {84-89},
publisher = {IEEE},
timestamp = {2024-04-09T14:13:59.000+0200},
title = {Using Formal Methods to Support the Development of STLs for GPUs.},
url = {http://dblp.uni-trier.de/db/conf/ats/ats2022.html#DeligiannisFCC022},
year = 2022
}