×
2012
An automatic verifier for the feasibility of special cases of the offline dynamic storage allocation problem.
[DOI]
Soon Aik Low
,
Yen Kaow Ng
,
Hung-Khoon Tan
Proceedings of the IET International Conference on Wireless Communications and Applications, 2012