@inproceedings{conf/prdc/YokogawaTK01,
	title = {Automatic Verification of Fault Tolerance Using Model Checking.},
	author = {Tomoyuki Yokogawa and Tatsuhiro Tsuchiya and Tsuchiya Kikuno},
	booktitle = {PRDC},
	crossref = {conf/prdc/2001},
	pages = {95-102},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/prdc/prdc2001.html#YokogawaTK01},
	year = {2001},
	biburl = {http://www.bibsonomy.org/bibtex/2f3949c0605fca02095b4703ed12786ed/dblp},
	description = {dblp},
	ee = {http://csdl.computer.org/comp/proceedings/prdc/2001/1414/00/14140095abs.htm}, isbn = {0-7695-1414-6}, date = {2004-03-24},
	keywords = {dblp }
}