diff options
| -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}, } |