Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Marieke Huisman' in GoogleThis author has not been identified. Look up 'Barbara Jobstmann' in GoogleThis author has not been identified. It may be one of the following persons:

Ina Schaefer

Look up 'Ina Schaefer' in GoogleThis author has not been identified. Look up 'Mariëlle Stoelinga' in Google

runs on WebDSL