Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511)

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},
}