%0 Conference Paper %1 conf/snpd/ChengZTL16 %A Cheng, Zhuo %A Zhang, Haitao %A Tan, Yasuo %A Lim, Yuto %B SNPD %D 2016 %E Chen, Yihai %I IEEE Computer Society %K dblp %P 189-194 %T Scheduling overload for real-time systems using SMT solver. %U http://dblp.uni-trier.de/db/conf/snpd/snpd2016.html#ChengZTL16 %@ 978-1-5090-2239-7

@inproceedings{conf/snpd/ChengZTL16, added-at = {2024-05-07T00:00:00.000+0200}, author = {Cheng, Zhuo and Zhang, Haitao and Tan, Yasuo and Lim, Yuto}, biburl = {https://www.bibsonomy.org/bibtex/2c4a05637da62a5b844fdd3e307e851c3/dblp}, booktitle = {SNPD}, crossref = {conf/snpd/2016}, editor = {Chen, Yihai}, ee = {https://doi.ieeecomputersociety.org/10.1109/SNPD.2016.7515899}, interhash = {efcb7b99cf20b6a47ae1ea3fc21cebf8}, intrahash = {c4a05637da62a5b844fdd3e307e851c3}, isbn = {978-1-5090-2239-7}, keywords = {dblp}, pages = {189-194}, publisher = {IEEE Computer Society}, timestamp = {2024-05-13T08:10:52.000+0200}, title = {Scheduling overload for real-time systems using SMT solver.}, url = {http://dblp.uni-trier.de/db/conf/snpd/snpd2016.html#ChengZTL16}, year = 2016 }