Inproceedings,
Using Formal Methods to Support the Development of STLs for GPUs.
N. Deligiannis, T. Faller, J. Condia, R. Cantoro, B. Becker, and M. Reorda.ATS, page 84-89. IEEE, (2022)
Meta data
- BibTeX key
- conf/ats/DeligiannisFCC022
- entry type
- inproceedings
- booktitle
- ATS
- year
- 2022
- pages
- 84-89
- publisher
- IEEE
- crossref
- conf/ats/2022
- ee
- https://doi.org/10.1109/ATS56056.2022.00027
- isbn
- 978-1-6654-7227-2
- url
- http://dblp.uni-trier.de/db/conf/ats/ats2022.html#DeligiannisFCC022
Tags
Users
Comments and Reviewsshow / hide
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
}