000 00414nam a2200109Ia 4500
008 230817s9999 xx 000 0 und d
100 _aFanqi Meng and Xiaohong Su
245 0 _aReducing WCET Overestimations by Correcting Errors in Loop Bound Constraints
650 _aComputer science, information & general works
856 _uhttps://new.zodml.org/sites/default/files/2023-08/reduci1%20%281%29.pdf
942 _cEBK
999 _c37956
_d37956