@inproceedings{DBLP:conf/nfm/DarabiBH17,
  author    = {Saeed Darabi and Stefan C. C. Blom and Marieke Huisman},
  title     = {A Verification Technique for Deterministic Parallel Programs},
  booktitle = {{NFM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10227},
  pages     = {247--264},
  year      = {2017},
  url       = {https://link.springer.com/chapter/10.1007/978-3-319-57288-8_17}
}

{"_id":"rShmogWJkJDxQRBrn","bibbaseid":"darabi-blom-huisman-averificationtechniquefordeterministicparallelprograms-2017","authorIDs":["5d14be645b939dee01000058"],"author_short":["Darabi, S.","Blom, S. C. C.","Huisman, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Saeed"],"propositions":[],"lastnames":["Darabi"],"suffixes":[]},{"firstnames":["Stefan","C.","C."],"propositions":[],"lastnames":["Blom"],"suffixes":[]},{"firstnames":["Marieke"],"propositions":[],"lastnames":["Huisman"],"suffixes":[]}],"title":"A Verification Technique for Deterministic Parallel Programs","booktitle":"NFM","series":"Lecture Notes in Computer Science","volume":"10227","pages":"247–264","year":"2017","url":"https://link.springer.com/chapter/10.1007/978-3-319-57288-8_17","bibtex":"@inproceedings{DBLP:conf/nfm/DarabiBH17,\n author = {Saeed Darabi and Stefan C. C. Blom and Marieke Huisman},\n title = {A Verification Technique for Deterministic Parallel Programs},\n booktitle = {{NFM}},\n series = {Lecture Notes in Computer Science},\n volume = {10227},\n pages = {247--264},\n year = {2017},\n url = {https://link.springer.com/chapter/10.1007/978-3-319-57288-8_17}\n}\n\n","author_short":["Darabi, S.","Blom, S. C. C.","Huisman, M."],"key":"DBLP:conf/nfm/DarabiBH17","id":"DBLP:conf/nfm/DarabiBH17","bibbaseid":"darabi-blom-huisman-averificationtechniquefordeterministicparallelprograms-2017","role":"author","urls":{"Paper":"https://link.springer.com/chapter/10.1007/978-3-319-57288-8_17"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2019-06-27T13:02:29.097Z","downloads":0,"keywords":[],"search_terms":["verification","technique","deterministic","parallel","programs","darabi","blom","huisman"],"title":"A Verification Technique for Deterministic Parallel Programs","year":2017,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}