@article{DBLP:journals/dagstuhl-reports/HuismanJSS12,
  author       = {Marieke Huisman and
                  Barbara Jobstmann and
                  Ina Schaefer and
                  Mari{\"{e}}lle Stoelinga},
  title        = {Divide and Conquer: the Quest for Compositional Design and Analysis
                  (Dagstuhl Seminar 12511)},
  journal      = {Dagstuhl Reports},
  volume       = {2},
  number       = {12},
  pages        = {64--88},
  year         = {2012},
  url          = {https://doi.org/10.4230/DagRep.2.12.64},
  doi          = {10.4230/DAGREP.2.12.64},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/HuismanJSS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_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","author":[{"firstnames":["Marieke"],"propositions":[],"lastnames":["Huisman"],"suffixes":[]},{"firstnames":["Barbara"],"propositions":[],"lastnames":["Jobstmann"],"suffixes":[]},{"firstnames":["Ina"],"propositions":[],"lastnames":["Schaefer"],"suffixes":[]},{"firstnames":["Mariëlle"],"propositions":[],"lastnames":["Stoelinga"],"suffixes":[]}],"title":"Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511)","journal":"Dagstuhl Reports","volume":"2","number":"12","pages":"64–88","year":"2012","url":"https://doi.org/10.4230/DagRep.2.12.64","doi":"10.4230/DAGREP.2.12.64","timestamp":"Fri, 09 Apr 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/dagstuhl-reports/HuismanJSS12.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/dagstuhl-reports/HuismanJSS12,\n author = {Marieke Huisman and\n Barbara Jobstmann and\n Ina Schaefer and\n Mari{\\\"{e}}lle Stoelinga},\n title = {Divide and Conquer: the Quest for Compositional Design and Analysis\n (Dagstuhl Seminar 12511)},\n journal = {Dagstuhl Reports},\n volume = {2},\n number = {12},\n pages = {64--88},\n year = {2012},\n url = {https://doi.org/10.4230/DagRep.2.12.64},\n doi = {10.4230/DAGREP.2.12.64},\n timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/dagstuhl-reports/HuismanJSS12.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Huisman, M.","Jobstmann, B.","Schaefer, I.","Stoelinga, M."],"key":"DBLP:journals/dagstuhl-reports/HuismanJSS12","id":"DBLP:journals/dagstuhl-reports/HuismanJSS12","bibbaseid":"huisman-jobstmann-schaefer-stoelinga-divideandconquerthequestforcompositionaldesignandanalysisdagstuhlseminar12511-2012","role":"author","urls":{"Paper":"https://doi.org/10.4230/DagRep.2.12.64"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"https://dblp.org/pid/03/4484.bib","creationDate":"2019-06-27T13:02:29.158Z","downloads":0,"keywords":[],"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","NvDEoQDuau7xD4K6P"]}