Permission-Based Verification of Red-Black Trees and Their Merging. Armborst, L. & Huisman, M. In 2021 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) (FormaliSE), pages 111-123, Los Alamitos, CA, USA, may, 2021. IEEE Computer Society.
![Permission-Based Verification of Red-Black Trees and Their Merging [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper doi bibtex 1 download
Paper doi bibtex 1 download @InProceedings {Armborst2021,
author = {L. Armborst and M. Huisman},
booktitle = {2021 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) (FormaliSE)},
title = {Permission-Based Verification of Red-Black Trees and Their Merging},
year = {2021},
volume = {},
issn = {},
pages = {111-123},
keywords = {tree data structures;annotations;merging;tools;software;ip networks;arrays},
doi = {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}
}Downloads: 1
{"_id":"vaNJqsfmgXEeAoBdJ","bibbaseid":"armborst-huisman-permissionbasedverificationofredblacktreesandtheirmerging-2021","author_short":["Armborst, L.","Huisman, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["L."],"propositions":[],"lastnames":["Armborst"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Huisman"],"suffixes":[]}],"booktitle":"2021 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) (FormaliSE)","title":"Permission-Based Verification of Red-Black Trees and Their Merging","year":"2021","volume":"","issn":"","pages":"111-123","keywords":"tree data structures;annotations;merging;tools;software;ip networks;arrays","doi":"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","bibtex":"@InProceedings {Armborst2021,\nauthor = {L. Armborst and M. Huisman},\nbooktitle = {2021 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) (FormaliSE)},\ntitle = {Permission-Based Verification of Red-Black Trees and Their Merging},\nyear = {2021},\nvolume = {},\nissn = {},\npages = {111-123},\nkeywords = {tree data structures;annotations;merging;tools;software;ip networks;arrays},\ndoi = {10.1109/FormaliSE52586.2021.00017},\nurl = {https://research.utwente.nl/files/253558432/Permission_Based_Verification_of_Red_Black_Trees_and_Their_Merging.pdf},\npublisher = {IEEE Computer Society},\naddress = {Los Alamitos, CA, USA},\nmonth = {may}\n}\n\n\n","author_short":["Armborst, L.","Huisman, M."],"key":"Armborst2021","id":"Armborst2021","bibbaseid":"armborst-huisman-permissionbasedverificationofredblacktreesandtheirmerging-2021","role":"author","urls":{"Paper":"https://research.utwente.nl/files/253558432/Permission_Based_Verification_of_Red_Black_Trees_and_Their_Merging.pdf"},"keyword":["tree data structures;annotations;merging;tools;software;ip networks;arrays"],"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"],"keywords":["tree data structures;annotations;merging;tools;software;ip networks;arrays"],"search_terms":["permission","based","verification","red","black","trees","merging","armborst","huisman"],"title":"Permission-Based Verification of Red-Black Trees and Their Merging","year":2021,"downloads":1}