@inproceedings{DBLP:conf/sefm/JacobsPLS05,
  author    = {Bart Jacobs and
               Frank Piessens and
               K. Rustan M. Leino and
               Wolfram Schulte},
  title     = {Safe Concurrency for Aggregate Objects with Invariants},
  booktitle = {{SEFM}},
  pages     = {137--147},
  publisher = {{IEEE} Computer Society},
  year      = {2005}
}

{"_id":"yBRhDzS74E5Smxeox","bibbaseid":"jacobs-piessens-leino-schulte-safeconcurrencyforaggregateobjectswithinvariants-2005","downloads":0,"creationDate":"2018-08-29T13:17:52.324Z","title":"Safe Concurrency for Aggregate Objects with Invariants","author_short":["Jacobs, B.","Piessens, F.","Leino, K. R. M.","Schulte, W."],"year":2005,"bibtype":"inproceedings","biburl":"https://dblp.uni-trier.de/pers/tb0/p/Piessens:Frank.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Bart"],"propositions":[],"lastnames":["Jacobs"],"suffixes":[]},{"firstnames":["Frank"],"propositions":[],"lastnames":["Piessens"],"suffixes":[]},{"firstnames":["K.","Rustan","M."],"propositions":[],"lastnames":["Leino"],"suffixes":[]},{"firstnames":["Wolfram"],"propositions":[],"lastnames":["Schulte"],"suffixes":[]}],"title":"Safe Concurrency for Aggregate Objects with Invariants","booktitle":"SEFM","pages":"137–147","publisher":"IEEE Computer Society","year":"2005","bibtex":"@inproceedings{DBLP:conf/sefm/JacobsPLS05,\n author = {Bart Jacobs and\n Frank Piessens and\n K. Rustan M. Leino and\n Wolfram Schulte},\n title = {Safe Concurrency for Aggregate Objects with Invariants},\n booktitle = {{SEFM}},\n pages = {137--147},\n publisher = {{IEEE} Computer Society},\n year = {2005}\n}\n\n","author_short":["Jacobs, B.","Piessens, F.","Leino, K. R. M.","Schulte, W."],"key":"DBLP:conf/sefm/JacobsPLS05","id":"DBLP:conf/sefm/JacobsPLS05","bibbaseid":"jacobs-piessens-leino-schulte-safeconcurrencyforaggregateobjectswithinvariants-2005","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["safe","concurrency","aggregate","objects","invariants","jacobs","piessens","leino","schulte"],"keywords":[],"authorIDs":["5b869cff119f791000000043"],"dataSources":["cjvMqzGsyByuD9JLe"]}