diff options
Diffstat (limited to 'references.bib')
-rw-r--r-- | references.bib | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/references.bib b/references.bib index b2a80ee..d2c6fab 100644 --- a/references.bib +++ b/references.bib @@ -24,7 +24,7 @@ } @misc{vericertfun-github, - author = {{Withheld for blind review}}, + author = {{Withheld for blind review but available from program chair}}, title = {Public Github repository for Vericert-Fun}, year = 2022, url = {https://github.com/[withheld]/Vericert-Fun}, @@ -441,7 +441,7 @@ year = {2016}, @techreport{pardalos_thesis, key = {zzzz}, -author = {{Withheld for blind review}}, +author = {{Withheld for blind review but available from program chair}}, title = {Formally verified resource sharing for High Level Synthesis}, year = 2021, |