@inproceedings{ conf/soco/BoddenS06,
  added-at = {2007-01-03T00:00:00.000+0100},
  author = {Bodden, Eric and Stolz, Volker},
  biburl = {http://www.bibsonomy.org/bibtex/2cff830d74119e8522ac9da21fe3dff5c/dblp},
  booktitle = {Software Composition},
  crossref = {conf/soco/2006},
  date = {2007-01-03},
  description = {dblp},
  editor = {Löwe, Welf and Südholt, Mario},
  ee = {http://dx.doi.org/10.1007/11821946_10},
  interhash = {c01d48d29e4cc788b080d3888d91c33a},
  intrahash = {cff830d74119e8522ac9da21fe3dff5c},
  isbn = {3-540-37657-7},
  keywords = {dblp},
  pages = {147-162},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Tracechecks: Defining Semantic Interfaces with Temporal Logic.},
  url = {http://dblp.uni-trier.de/db/conf/soco/sc2006.html#BoddenS06},
  volume = {4089},
  year = {2006}
}

{"_id":{"_str":"536b2e037d1b7b356e002a9e"},"__v":0,"authorIDs":[],"author_short":["Bodden, E.","Stolz, V."],"bibbaseid":"bodden-stolz-tracechecksdefiningsemanticinterfaceswithtemporallogic-2006","bibdata":{"downloads":0,"keyword":["dblp"],"bibbaseid":"bodden-stolz-tracechecksdefiningsemanticinterfaceswithtemporallogic-2006","urls":{"Paper":"http://dblp.uni-trier.de/db/conf/soco/sc2006.html#BoddenS06","Link":"http://dx.doi.org/10.1007/11821946_10"},"role":"author","year":"2006","volume":"4089","url":"http://dblp.uni-trier.de/db/conf/soco/sc2006.html#BoddenS06","type":"inproceedings","title":"Tracechecks: Defining Semantic Interfaces with Temporal Logic.","series":"Lecture Notes in Computer Science","publisher":"Springer","pages":"147-162","keywords":"dblp","key":"conf/soco/BoddenS06","isbn":"3-540-37657-7","intrahash":"cff830d74119e8522ac9da21fe3dff5c","interhash":"c01d48d29e4cc788b080d3888d91c33a","id":"conf/soco/BoddenS06","ee":"http://dx.doi.org/10.1007/11821946_10","editor_short":["Löwe, W.","Südholt, M."],"editor":["Löwe, Welf","Südholt, Mario"],"description":"dblp","date":"2007-01-03","crossref":"conf/soco/2006","booktitle":"Software Composition","biburl":"http://www.bibsonomy.org/bibtex/2cff830d74119e8522ac9da21fe3dff5c/dblp","bibtype":"inproceedings","bibtex":"@inproceedings{ conf/soco/BoddenS06,\n added-at = {2007-01-03T00:00:00.000+0100},\n author = {Bodden, Eric and Stolz, Volker},\n biburl = {http://www.bibsonomy.org/bibtex/2cff830d74119e8522ac9da21fe3dff5c/dblp},\n booktitle = {Software Composition},\n crossref = {conf/soco/2006},\n date = {2007-01-03},\n description = {dblp},\n editor = {Löwe, Welf and Südholt, Mario},\n ee = {http://dx.doi.org/10.1007/11821946_10},\n interhash = {c01d48d29e4cc788b080d3888d91c33a},\n intrahash = {cff830d74119e8522ac9da21fe3dff5c},\n isbn = {3-540-37657-7},\n keywords = {dblp},\n pages = {147-162},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n title = {Tracechecks: Defining Semantic Interfaces with Temporal Logic.},\n url = {http://dblp.uni-trier.de/db/conf/soco/sc2006.html#BoddenS06},\n volume = {4089},\n year = {2006}\n}","author_short":["Bodden, E.","Stolz, V."],"author":["Bodden, Eric","Stolz, Volker"],"added-at":"2007-01-03T00:00:00.000+0100"},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Stolz?items=1000","downloads":0,"keywords":["dblp"],"search_terms":["tracechecks","defining","semantic","interfaces","temporal","logic","bodden","stolz"],"title":"Tracechecks: Defining Semantic Interfaces with Temporal Logic.","year":2006,"dataSources":["jFM9uLHTgFXYfbvH4"]}