Load balanced parallel program verification on a shared memory machine - Bijnens, S.; Joosen, W.; Berbers, Y. (1993 Euromicro Workshop on Parallel and Distributed Processing, Parallel and Distributed Processing, 1993. Proceedings. Euromicro Workshop on, 1993)