@article{journals/dagstuhl-reports/HuismanJSS12,
  added-at = {2013-05-06T00:00:00.000+0200},
  author = {Huisman, Marieke and Jobstmann, Barbara and Schaefer, Ina and Stoelinga, Mariëlle},
  biburl = {https://www.bibsonomy.org/bibtex/2c6564d2aafd20cc5bb065a524a3947f4/dblp},
  ee = {http://dx.doi.org/10.4230/DagRep.2.12.64},
  interhash = {78f93ccf3f778bc1a12e97222fef70cf},
  intrahash = {c6564d2aafd20cc5bb065a524a3947f4},
  journal = {Dagstuhl Reports},
  keywords = {dblp},
  number = 12,
  pages = {64-88},
  timestamp = {2013-08-13T14:24:06.000+0200},
  title = {Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511).},
  url = {http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports2.html#HuismanJSS12},
  volume = 2,
  year = 2012
}

{"_id":"2jJFQdtMi2BpeCZmq","bibbaseid":"huisman-jobstmann-schaefer-stoelinga-divideandconquerthequestforcompositionaldesignandanalysisdagstuhlseminar12511-2012","authorIDs":["5d14be645b939dee01000058"],"author_short":["Huisman, M.","Jobstmann, B.","Schaefer, I.","Stoelinga, M."],"bibdata":{"bibtype":"article","type":"article","added-at":"2013-05-06T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Huisman"],"firstnames":["Marieke"],"suffixes":[]},{"propositions":[],"lastnames":["Jobstmann"],"firstnames":["Barbara"],"suffixes":[]},{"propositions":[],"lastnames":["Schaefer"],"firstnames":["Ina"],"suffixes":[]},{"propositions":[],"lastnames":["Stoelinga"],"firstnames":["Mariëlle"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2c6564d2aafd20cc5bb065a524a3947f4/dblp","ee":"http://dx.doi.org/10.4230/DagRep.2.12.64","interhash":"78f93ccf3f778bc1a12e97222fef70cf","intrahash":"c6564d2aafd20cc5bb065a524a3947f4","journal":"Dagstuhl Reports","keywords":"dblp","number":"12","pages":"64-88","timestamp":"2013-08-13T14:24:06.000+0200","title":"Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511).","url":"http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports2.html#HuismanJSS12","volume":"2","year":"2012","bibtex":"@article{journals/dagstuhl-reports/HuismanJSS12,\n added-at = {2013-05-06T00:00:00.000+0200},\n author = {Huisman, Marieke and Jobstmann, Barbara and Schaefer, Ina and Stoelinga, Mariëlle},\n biburl = {https://www.bibsonomy.org/bibtex/2c6564d2aafd20cc5bb065a524a3947f4/dblp},\n ee = {http://dx.doi.org/10.4230/DagRep.2.12.64},\n interhash = {78f93ccf3f778bc1a12e97222fef70cf},\n intrahash = {c6564d2aafd20cc5bb065a524a3947f4},\n journal = {Dagstuhl Reports},\n keywords = {dblp},\n number = 12,\n pages = {64-88},\n timestamp = {2013-08-13T14:24:06.000+0200},\n title = {Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511).},\n url = {http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports2.html#HuismanJSS12},\n volume = 2,\n year = 2012\n}\n\n","author_short":["Huisman, M.","Jobstmann, B.","Schaefer, I.","Stoelinga, M."],"key":"journals/dagstuhl-reports/HuismanJSS12","id":"journals/dagstuhl-reports/HuismanJSS12","bibbaseid":"huisman-jobstmann-schaefer-stoelinga-divideandconquerthequestforcompositionaldesignandanalysisdagstuhlseminar12511-2012","role":"author","urls":{"Link":"http://dx.doi.org/10.4230/DagRep.2.12.64","Paper":"http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports2.html#HuismanJSS12"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Marieke Huisman?items=1000","creationDate":"2019-06-27T13:02:29.158Z","downloads":0,"keywords":["dblp"],"search_terms":["divide","conquer","quest","compositional","design","analysis","dagstuhl","seminar","12511","huisman","jobstmann","schaefer","stoelinga"],"title":"Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511).","year":2012,"dataSources":["sAaBbgDRpNpcvbGWj"]}