@inproceedings{DoddsFPV09,
	Author = {M. Dodds and X. Feng and M. Parkinson and V. Vafeiadis},
	Booktitle = {ESOP},
	Organization = {Springer},
	Pages = {363-377},
	Title = {{Deny-Guarantee Reasoning}},
	Year = {2009}}

{"_id":"RKqm9Wp7WtC7joQ3g","bibbaseid":"dodds-feng-parkinson-vafeiadis-denyguaranteereasoning-2009","authorIDs":[],"author_short":["Dodds, M.","Feng, X.","Parkinson, M.","Vafeiadis, V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["M."],"propositions":[],"lastnames":["Dodds"],"suffixes":[]},{"firstnames":["X."],"propositions":[],"lastnames":["Feng"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Parkinson"],"suffixes":[]},{"firstnames":["V."],"propositions":[],"lastnames":["Vafeiadis"],"suffixes":[]}],"booktitle":"ESOP","organization":"Springer","pages":"363-377","title":"Deny-Guarantee Reasoning","year":"2009","bibtex":"@inproceedings{DoddsFPV09,\n\tAuthor = {M. Dodds and X. Feng and M. Parkinson and V. Vafeiadis},\n\tBooktitle = {ESOP},\n\tOrganization = {Springer},\n\tPages = {363-377},\n\tTitle = {{Deny-Guarantee Reasoning}},\n\tYear = {2009}}\n\n","author_short":["Dodds, M.","Feng, X.","Parkinson, M.","Vafeiadis, V."],"key":"DoddsFPV09","id":"DoddsFPV09","bibbaseid":"dodds-feng-parkinson-vafeiadis-denyguaranteereasoning-2009","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2019-07-02T12:17:56.627Z","downloads":0,"keywords":[],"search_terms":["deny","guarantee","reasoning","dodds","feng","parkinson","vafeiadis"],"title":"Deny-Guarantee Reasoning","year":2009,"dataSources":["7Z8XEkSJX2s636QcA"]}