Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511). Huisman, M., Jobstmann, B., Schaefer, I., & Stoelinga, M. Dagstuhl Reports, 2(12):64–88, 2012.
Paper doi bibtex @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}
}
Downloads: 0
{"_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"]}