@article{journals/sigsoft/BanerjeeBM07b,
	title = {On the correctness issues in two-process mutual exclusion algorithms.},
	author = {Jayasri Banerjee and Anup Kumar Bandyopadhyay and Ajit Kumar Mandal},
	journal = {ACM SIGSOFT Software Engineering Notes},
	number = {6},
	url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft32.html#BanerjeeBM07b},
	volume = {32},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/276a512cd9f5c4328377c4dca0ecde274/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1317471.1317473}, date = {2008-05-07},
	keywords = {dblp }
}