@inproceedings{ conf/isola/BoddenFPS12,
  added-at = {2012-09-26T00:00:00.000+0200},
  author = {Bodden, Eric and Falzon, Kevin and Pun, Ka I. and Stolz, Volker},
  biburl = {http://www.bibsonomy.org/bibtex/241de7818229a5825ec1eb17a15d69bc6/dblp},
  booktitle = {ISoLA (1)},
  crossref = {conf/isola/2012-1},
  editor = {Margaria, Tiziana and Steffen, Bernhard},
  ee = {http://dx.doi.org/10.1007/978-3-642-34026-0_13},
  interhash = {f80f6228a0673a5a5aee6ab294896831},
  intrahash = {41de7818229a5825ec1eb17a15d69bc6},
  isbn = {978-3-642-34025-3},
  keywords = {dblp},
  pages = {162-177},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Delta-Oriented Monitor Specification.},
  url = {http://dblp.uni-trier.de/db/conf/isola/isola2012-1.html#BoddenFPS12},
  volume = {7609},
  year = {2012}
}

{"_id":{"_str":"536b2e047d1b7b356e002ad5"},"__v":0,"authorIDs":[],"author_short":["Bodden, E.","Falzon, K.","Pun, K.<nbsp>I.","Stolz, V."],"bibbaseid":"bodden-falzon-pun-stolz-deltaorientedmonitorspecification-2012","bibdata":{"downloads":0,"keyword":["dblp"],"bibbaseid":"bodden-falzon-pun-stolz-deltaorientedmonitorspecification-2012","urls":{"Paper":"http://dblp.uni-trier.de/db/conf/isola/isola2012-1.html#BoddenFPS12","Link":"http://dx.doi.org/10.1007/978-3-642-34026-0_13"},"role":"author","year":"2012","volume":"7609","url":"http://dblp.uni-trier.de/db/conf/isola/isola2012-1.html#BoddenFPS12","type":"inproceedings","title":"Delta-Oriented Monitor Specification.","series":"Lecture Notes in Computer Science","publisher":"Springer","pages":"162-177","keywords":"dblp","key":"conf/isola/BoddenFPS12","isbn":"978-3-642-34025-3","intrahash":"41de7818229a5825ec1eb17a15d69bc6","interhash":"f80f6228a0673a5a5aee6ab294896831","id":"conf/isola/BoddenFPS12","ee":"http://dx.doi.org/10.1007/978-3-642-34026-0_13","editor_short":["Margaria, T.","Steffen, B."],"editor":["Margaria, Tiziana","Steffen, Bernhard"],"crossref":"conf/isola/2012-1","booktitle":"ISoLA (1)","biburl":"http://www.bibsonomy.org/bibtex/241de7818229a5825ec1eb17a15d69bc6/dblp","bibtype":"inproceedings","bibtex":"@inproceedings{ conf/isola/BoddenFPS12,\n added-at = {2012-09-26T00:00:00.000+0200},\n author = {Bodden, Eric and Falzon, Kevin and Pun, Ka I. and Stolz, Volker},\n biburl = {http://www.bibsonomy.org/bibtex/241de7818229a5825ec1eb17a15d69bc6/dblp},\n booktitle = {ISoLA (1)},\n crossref = {conf/isola/2012-1},\n editor = {Margaria, Tiziana and Steffen, Bernhard},\n ee = {http://dx.doi.org/10.1007/978-3-642-34026-0_13},\n interhash = {f80f6228a0673a5a5aee6ab294896831},\n intrahash = {41de7818229a5825ec1eb17a15d69bc6},\n isbn = {978-3-642-34025-3},\n keywords = {dblp},\n pages = {162-177},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n title = {Delta-Oriented Monitor Specification.},\n url = {http://dblp.uni-trier.de/db/conf/isola/isola2012-1.html#BoddenFPS12},\n volume = {7609},\n year = {2012}\n}","author_short":["Bodden, E.","Falzon, K.","Pun, K.<nbsp>I.","Stolz, V."],"author":["Bodden, Eric","Falzon, Kevin","Pun, Ka I.","Stolz, Volker"],"added-at":"2012-09-26T00:00:00.000+0200"},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Stolz?items=1000","downloads":0,"keywords":["dblp"],"search_terms":["delta","oriented","monitor","specification","bodden","falzon","pun","stolz"],"title":"Delta-Oriented Monitor Specification.","year":2012,"dataSources":["jFM9uLHTgFXYfbvH4"]}