Algorithms for Synthesizing Priorities in Component-Based Systems.

Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll

Browse the full ATVA paper archive.