|
@inproceedings{KCT13a, author = {Pratyush Kumar and Devesh B. Chokshi and Lothar Thiele}, title = {A Satisfiability Approach to Speed Assignment for Distributed Real-Time Systems}, address = {Grenoble, France}, booktitle = {2013 Design, Automation & Test in Europe Conference & Exhibition}, publisher = {IEEE}, month = {Mar}, year = {2013} }