Pratyush Kumar, Devesh B. Chokshi, Lothar Thiele. A satisfiability approach to speed assignment for distributed real-time systems. In Enrico Macii, editor, Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013. pages 749-754, EDA Consortium San Jose, CA, USA / ACM DL, 2013. [doi]
@inproceedings{KumarCT13,
title = {A satisfiability approach to speed assignment for distributed real-time systems},
author = {Pratyush Kumar and Devesh B. Chokshi and Lothar Thiele},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2485470},
researchr = {https://researchr.org/publication/KumarCT13},
cites = {0},
citedby = {0},
pages = {749-754},
booktitle = {Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013},
editor = {Enrico Macii},
publisher = {EDA Consortium San Jose, CA, USA / ACM DL},
isbn = {978-1-4503-2153-2},
}