%0 Journal Article %1 journals/ieicet/ChengZTL17 %A Cheng, Zhuo %A Zhang, Haitao %A Tan, Yasuo %A Lim, Yuto %D 2017 %J IEICE Transactions %K dblp %N 5 %P 1055-1066 %T SMT-Based Scheduling for Overloaded Real-Time Systems. %U http://dblp.uni-trier.de/db/journals/ieicet/ieicet100d.html#ChengZTL17 %V 100-D

@article{journals/ieicet/ChengZTL17, added-at = {2018-09-27T00:00:00.000+0200}, author = {Cheng, Zhuo and Zhang, Haitao and Tan, Yasuo and Lim, Yuto}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2697f3ccd89575c9918f1829dd56a04f1/dblp}, ee = {http://search.ieice.org/bin/summary.php?id=e100-d_5_1055}, interhash = {0b22fe08d1ac59c2bbd342dab133387c}, intrahash = {697f3ccd89575c9918f1829dd56a04f1}, journal = {IEICE Transactions}, keywords = {dblp}, number = 5, pages = {1055-1066}, timestamp = {2019-09-27T07:12:58.000+0200}, title = {SMT-Based Scheduling for Overloaded Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/journals/ieicet/ieicet100d.html#ChengZTL17}, volume = {100-D}, year = 2017 }