diff options
author | Vincent Rouvreau <10407034+VincentRouvreau@users.noreply.github.com> | 2022-05-23 08:36:44 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-23 08:36:44 +0200 |
commit | 4ab108c7a45cce1e7e0a272e0577552d5d6077a8 (patch) | |
tree | f3aa361dc751283276423846dcae40a799577dec /biblio | |
parent | 5328f35be266fe2cc90512b41b654fe891e3147f (diff) |
Update biblio/bibliography.bib
Diffstat (limited to 'biblio')
-rw-r--r-- | biblio/bibliography.bib | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/biblio/bibliography.bib b/biblio/bibliography.bib index 8c9ee84a..8462e731 100644 --- a/biblio/bibliography.bib +++ b/biblio/bibliography.bib @@ -167,7 +167,7 @@ language={English}, number = {RR-8436}, year = {2013}, month = Dec, - pdf = {https://hal.inria.fr/hal-00922572/PDF/RR-8436.pdf}, + pdf = {https://hal.inria.fr/hal-00922572v5/document}, } |