Additional Metadata
Persistent URL dx.doi.org/10.1007/s00165-015-0346-y
Journal Formal Aspects of Computing
Citation
Khakpour, N, Arbab, F, & Rutten, É. (2016). Synthesizing structural and behavioral control for reconfigurations in component-based systems. Formal Aspects of Computing, 28(1), 21–43. doi:10.1007/s00165-015-0346-y