add link to PDF for RBTree paper

utwente-fmt · Dec 19, 2023 · 7cf372a · 7cf372a
1 parent 09c58d5
commit 7cf372a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/static/references.bib b/static/references.bib
@@ -235,7 +235,7 @@ @InProceedings {Armborst2021
 pages = {111-123},
 keywords = {tree data structures;annotations;merging;tools;software;ip networks;arrays},
 doi = {10.1109/FormaliSE52586.2021.00017},
-url = {https://doi.ieeecomputersociety.org/10.1109/FormaliSE52586.2021.00017},
+url = {https://research.utwente.nl/files/253558432/Permission_Based_Verification_of_Red_Black_Trees_and_Their_Merging.pdf},
 publisher = {IEEE Computer Society},
 address = {Los Alamitos, CA, USA},
 month = {may}