@inproceedings{SafariOH21,
  author    = {Mohsen Safari and
               Wytse Oortwijn and
               Marieke Huisman},
  editor    = {Cezara Dragoi and
               Suvam Mukherjee and
               Kedar S. Namjoshi},
  title     = {Automated Verification of the Parallel Bellman-Ford Algorithm},
  booktitle = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
               IL, USA, October 17-19, 2021, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {12913},
  pages     = {346--358},
  publisher = {Springer},
  year      = {2021},
  url       = {https://doi.org/10.1007/978-3-030-88806-0\_17},
  doi       = {10.1007/978-3-030-88806-0\_17},
  timestamp = {Mon, 18 Oct 2021 08:49:55 +0200},
  biburl    = {https://dblp.org/rec/conf/sas/SafariOH21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"wofbfXYXf7xGAG7z7","bibbaseid":"safari-oortwijn-huisman-automatedverificationoftheparallelbellmanfordalgorithm-2021","author_short":["Safari, M.","Oortwijn, W.","Huisman, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Mohsen"],"propositions":[],"lastnames":["Safari"],"suffixes":[]},{"firstnames":["Wytse"],"propositions":[],"lastnames":["Oortwijn"],"suffixes":[]},{"firstnames":["Marieke"],"propositions":[],"lastnames":["Huisman"],"suffixes":[]}],"editor":[{"firstnames":["Cezara"],"propositions":[],"lastnames":["Dragoi"],"suffixes":[]},{"firstnames":["Suvam"],"propositions":[],"lastnames":["Mukherjee"],"suffixes":[]},{"firstnames":["Kedar","S."],"propositions":[],"lastnames":["Namjoshi"],"suffixes":[]}],"title":"Automated Verification of the Parallel Bellman-Ford Algorithm","booktitle":"Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings","series":"Lecture Notes in Computer Science","volume":"12913","pages":"346–358","publisher":"Springer","year":"2021","url":"https://doi.org/10.1007/978-3-030-88806-0\\_17","doi":"10.1007/978-3-030-88806-0_17","timestamp":"Mon, 18 Oct 2021 08:49:55 +0200","biburl":"https://dblp.org/rec/conf/sas/SafariOH21.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{SafariOH21,\n author = {Mohsen Safari and\n Wytse Oortwijn and\n Marieke Huisman},\n editor = {Cezara Dragoi and\n Suvam Mukherjee and\n Kedar S. Namjoshi},\n title = {Automated Verification of the Parallel Bellman-Ford Algorithm},\n booktitle = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,\n IL, USA, October 17-19, 2021, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {12913},\n pages = {346--358},\n publisher = {Springer},\n year = {2021},\n url = {https://doi.org/10.1007/978-3-030-88806-0\\_17},\n doi = {10.1007/978-3-030-88806-0\\_17},\n timestamp = {Mon, 18 Oct 2021 08:49:55 +0200},\n biburl = {https://dblp.org/rec/conf/sas/SafariOH21.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n","author_short":["Safari, M.","Oortwijn, W.","Huisman, M."],"editor_short":["Dragoi, C.","Mukherjee, S.","Namjoshi, K. S."],"key":"SafariOH21","id":"SafariOH21","bibbaseid":"safari-oortwijn-huisman-automatedverificationoftheparallelbellmanfordalgorithm-2021","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-88806-0\\_17"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"],"keywords":[],"search_terms":["automated","verification","parallel","bellman","ford","algorithm","safari","oortwijn","huisman"],"title":"Automated Verification of the Parallel Bellman-Ford Algorithm","year":2021,"downloads":1}