@inproceedings{DBLP:conf/vstte/OortwijnBGHZ17,
  author    = {Wytse Oortwijn and Stefan Blom and Dilian Gurov and Marieke Huisman and Marina Zaharieva{-}Stojanovski},
  title     = {An Abstraction Technique for Describing Concurrent Program Behaviour},
  booktitle = {{VSTTE}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10712},
  pages     = {191--209},
  publisher = {Springer},
  year      = {2017},
  url       = {https://link.springer.com/chapter/10.1007/978-3-319-72308-2_12}
}

{"_id":"zZJoNWqP3tWWdoEu4","bibbaseid":"oortwijn-blom-gurov-huisman-zaharievastojanovski-anabstractiontechniquefordescribingconcurrentprogrambehaviour-2017","authorIDs":["5d14be645b939dee01000058","5d19efc3dc4782da010004c4"],"author_short":["Oortwijn, W.","Blom, S.","Gurov, D.","Huisman, M.","Zaharieva-Stojanovski, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Wytse"],"propositions":[],"lastnames":["Oortwijn"],"suffixes":[]},{"firstnames":["Stefan"],"propositions":[],"lastnames":["Blom"],"suffixes":[]},{"firstnames":["Dilian"],"propositions":[],"lastnames":["Gurov"],"suffixes":[]},{"firstnames":["Marieke"],"propositions":[],"lastnames":["Huisman"],"suffixes":[]},{"firstnames":["Marina"],"propositions":[],"lastnames":["Zaharieva-Stojanovski"],"suffixes":[]}],"title":"An Abstraction Technique for Describing Concurrent Program Behaviour","booktitle":"VSTTE","series":"Lecture Notes in Computer Science","volume":"10712","pages":"191–209","publisher":"Springer","year":"2017","url":"https://link.springer.com/chapter/10.1007/978-3-319-72308-2_12","bibtex":"@inproceedings{DBLP:conf/vstte/OortwijnBGHZ17,\n author = {Wytse Oortwijn and Stefan Blom and Dilian Gurov and Marieke Huisman and Marina Zaharieva{-}Stojanovski},\n title = {An Abstraction Technique for Describing Concurrent Program Behaviour},\n booktitle = {{VSTTE}},\n series = {Lecture Notes in Computer Science},\n volume = {10712},\n pages = {191--209},\n publisher = {Springer},\n year = {2017},\n url = {https://link.springer.com/chapter/10.1007/978-3-319-72308-2_12}\n}\n\n","author_short":["Oortwijn, W.","Blom, S.","Gurov, D.","Huisman, M.","Zaharieva-Stojanovski, M."],"key":"DBLP:conf/vstte/OortwijnBGHZ17","id":"DBLP:conf/vstte/OortwijnBGHZ17","bibbaseid":"oortwijn-blom-gurov-huisman-zaharievastojanovski-anabstractiontechniquefordescribingconcurrentprogrambehaviour-2017","role":"author","urls":{"Paper":"https://link.springer.com/chapter/10.1007/978-3-319-72308-2_12"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2019-06-27T13:02:29.091Z","downloads":0,"keywords":[],"search_terms":["abstraction","technique","describing","concurrent","program","behaviour","oortwijn","blom","gurov","huisman","zaharieva-stojanovski"],"title":"An Abstraction Technique for Describing Concurrent Program Behaviour","year":2017,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}