@inproceedings{DBLP:journals/corr/abs-1806-09851,
  author    = {Afshin Amighi and Marieke Huisman and Stefan Blom},
  title     = {Verification of Shared-Reading Synchronisers},
  booktitle = {MeTRiD@ETAPS},
  series    = {{EPTCS}},
  volume    = {272},
  pages     = {107--120},
  year      = {2018},
  url       = {https://arxiv.org/abs/1806.09851}
}

{"_id":"giNewnSkMxggwzMAo","bibbaseid":"amighi-huisman-blom-verificationofsharedreadingsynchronisers-2018","authorIDs":["5d14be645b939dee01000058"],"author_short":["Amighi, A.","Huisman, M.","Blom, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Afshin"],"propositions":[],"lastnames":["Amighi"],"suffixes":[]},{"firstnames":["Marieke"],"propositions":[],"lastnames":["Huisman"],"suffixes":[]},{"firstnames":["Stefan"],"propositions":[],"lastnames":["Blom"],"suffixes":[]}],"title":"Verification of Shared-Reading Synchronisers","booktitle":"MeTRiD@ETAPS","series":"EPTCS","volume":"272","pages":"107–120","year":"2018","url":"https://arxiv.org/abs/1806.09851","bibtex":"@inproceedings{DBLP:journals/corr/abs-1806-09851,\n author = {Afshin Amighi and Marieke Huisman and Stefan Blom},\n title = {Verification of Shared-Reading Synchronisers},\n booktitle = {MeTRiD@ETAPS},\n series = {{EPTCS}},\n volume = {272},\n pages = {107--120},\n year = {2018},\n url = {https://arxiv.org/abs/1806.09851}\n}\n\n","author_short":["Amighi, A.","Huisman, M.","Blom, S."],"key":"DBLP:journals/corr/abs-1806-09851","id":"DBLP:journals/corr/abs-1806-09851","bibbaseid":"amighi-huisman-blom-verificationofsharedreadingsynchronisers-2018","role":"author","urls":{"Paper":"https://arxiv.org/abs/1806.09851"},"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.083Z","downloads":0,"keywords":[],"search_terms":["verification","shared","reading","synchronisers","amighi","huisman","blom"],"title":"Verification of Shared-Reading Synchronisers","year":2018,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}