2012
An automatic verifier for the feasibility of special cases of the offline dynamic storage allocation problem.
Proceedings of the IET International Conference on Wireless Communications and Applications, 2012