Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand. Scheduling Distributed Real-Time Systems by Satisfiability Checking. In 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 17-19 August 2005, Hong Kong, China. pages 409-415, IEEE Computer Society, 2005. [doi]
@inproceedings{MetznerFHS05,
title = {Scheduling Distributed Real-Time Systems by Satisfiability Checking},
author = {Alexander Metzner and Martin Fränzle and Christian Herde and Ingo Stierand},
year = {2005},
doi = {10.1109/RTCSA.2005.90},
url = {http://doi.ieeecomputersociety.org/10.1109/RTCSA.2005.90},
researchr = {https://researchr.org/publication/MetznerFHS05},
cites = {0},
citedby = {0},
pages = {409-415},
booktitle = {11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 17-19 August 2005, Hong Kong, China},
publisher = {IEEE Computer Society},
isbn = {0-7695-2346-3},
}