@article{journals/sigsoft/BanerjeeBM07a,
title = {Application of Dijkstra's weakest precondition calculus to Dining Philosophers problem.},
author = {Jayasri Banerjee and Anup Kumar Bandyopadhyay and Ajit Kumar Mandal},
journal = {ACM SIGSOFT Software Engineering Notes},
number = {4},
url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft32.html#BanerjeeBM07a},
volume = {32},
year = {2007},
description = {dblp},
ee = {http://doi.acm.org/10.1145/1281421.1281424}, date = {2008-05-07},
keywords = {dblp }
}
::