Marieke Huisman, Barbara Jobstmann, Ina Schaefer, Mariƫlle Stoelinga. Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511). Dagstuhl Reports, 2(12):64-88, 2012. [doi]
@article{HuismanJSS12, title = {Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511)}, author = {Marieke Huisman and Barbara Jobstmann and Ina Schaefer and Mariƫlle Stoelinga}, year = {2012}, doi = {10.4230/DagRep.2.12.64}, url = {http://dx.doi.org/10.4230/DagRep.2.12.64}, researchr = {https://researchr.org/publication/HuismanJSS12}, cites = {0}, citedby = {0}, journal = {Dagstuhl Reports}, volume = {2}, number = {12}, pages = {64-88}, }