diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-10-07 23:49:51 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-07 23:49:51 +0100 |
| commit | 6c672e1ff42c67eb8118651433dc3d892319a53e (patch) | |
| tree | cceb0dcee8ceeed59bda3347ef7e6ff5d2b6f885 /papers.bib | |
| parent | e5622206be4f9f8c9679b223fbebfeb36fba74da (diff) | |
| download | yannherklotz.com-6c672e1ff42c67eb8118651433dc3d892319a53e.tar.gz yannherklotz.com-6c672e1ff42c67eb8118651433dc3d892319a53e.zip | |
Add correct citation style
Diffstat (limited to 'papers.bib')
| -rw-r--r-- | papers.bib | 4 |
1 files changed, 1 insertions, 3 deletions
@@ -1,12 +1,10 @@ -@inproceedings{OOPSLA '21, +@article{OOPSLA '21, author = {Herklotz, Yann and Pollard, James D. and Ramanathan, Nadesh and Wickerson, John}, title = {Formal Verification of High-Level Synthesis}, year = {2021}, number = {OOPSLA}, numpages = {30}, - month = {11}, journal = {Proc. ACM Program. Lang.}, - volume = {5}, publisher = {ACM}, doi = {10.1145/3485494}, url_manuscript = {/papers/oopsla21_fvhls.pdf}, |