diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-05-31 11:07:09 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-05-31 11:07:09 +0100 |
commit | 24f4a50873f7ae090589c0b3f007748875738ab0 (patch) | |
tree | f10359abc505ff2531baa605bb957a3d5baf88a8 /papers.bib | |
parent | ea4ad462e33384c8bbbddca523f138c6c181e7b6 (diff) | |
download | yannherklotz.com-24f4a50873f7ae090589c0b3f007748875738ab0.tar.gz yannherklotz.com-24f4a50873f7ae090589c0b3f007748875738ab0.zip |
Update favicon and FCCM
Diffstat (limited to 'papers.bib')
-rw-r--r-- | papers.bib | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,7 +2,7 @@ author = {Pardalos, Michalis and Herklotz, Yann and Wickerson, John}, title = {Resource Sharing for Verified High-Level Synthesis}, year = {2022}, - booktitle = {30th {IEEE} Annual Int. Symp. on Field-Programmable Custom Computing Machines}, + booktitle = {30th {IEEE} Annual Int. Symp. on Field-Programmable Custom Computing Machines (FCCM)}, numpages = 5, url_artifact = {https://github.com/mpardalos/Vericert-Fun}, } |