@inproceedings{DBLP:conf/birthday/HuismanJ18,
  author    = {Marieke Huisman and Sebastiaan J. C. Joosten},
  title     = {Towards Reliable Concurrent Software},
  booktitle = {Principled Software Development},
  pages     = {129--146},
  publisher = {Springer},
  year      = {2018},
  url       = {https://link.springer.com/chapter/10.1007/978-3-319-98047-8_9}
}

{"_id":"tR6nTti8YXsk6Pi6y","bibbaseid":"huisman-joosten-towardsreliableconcurrentsoftware-2018","authorIDs":["5d14be645b939dee01000058"],"author_short":["Huisman, M.","Joosten, S. J. C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Marieke"],"propositions":[],"lastnames":["Huisman"],"suffixes":[]},{"firstnames":["Sebastiaan","J.","C."],"propositions":[],"lastnames":["Joosten"],"suffixes":[]}],"title":"Towards Reliable Concurrent Software","booktitle":"Principled Software Development","pages":"129–146","publisher":"Springer","year":"2018","url":"https://link.springer.com/chapter/10.1007/978-3-319-98047-8_9","bibtex":"@inproceedings{DBLP:conf/birthday/HuismanJ18,\n author = {Marieke Huisman and Sebastiaan J. C. Joosten},\n title = {Towards Reliable Concurrent Software},\n booktitle = {Principled Software Development},\n pages = {129--146},\n publisher = {Springer},\n year = {2018},\n url = {https://link.springer.com/chapter/10.1007/978-3-319-98047-8_9}\n}\n","author_short":["Huisman, M.","Joosten, S. J. C."],"key":"DBLP:conf/birthday/HuismanJ18","id":"DBLP:conf/birthday/HuismanJ18","bibbaseid":"huisman-joosten-towardsreliableconcurrentsoftware-2018","role":"author","urls":{"Paper":"https://link.springer.com/chapter/10.1007/978-3-319-98047-8_9"},"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.061Z","downloads":0,"keywords":[],"search_terms":["towards","reliable","concurrent","software","huisman","joosten"],"title":"Towards Reliable Concurrent Software","year":2018,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}