id: 70354864
dt: a
an: 70354864
au: Cheng, Chih-Hong; Bensalem, Saddek; Chen, Yu-Fang; Yan, Rongjie; Jobstmann,
    Barbara; Ruess, Harald; Buckl, Christian; Knoll, Alois
ti: Algorithms for synthesizing priorities in component-based systems
so: ATVA, 150-167 (2011).
py: 2011
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-24372-1_12