@inproceedings{conf/kbse/DwyerRTV04,
	title = {Analyzing Interaction Orderings with Model Checking.},
	author = {Matthew B. Dwyer and  Robby and Oksana Tkachuk and Willem Visser},
	booktitle = {ASE},
	crossref = {conf/kbse/2004},
	pages = {154-163},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/kbse/ase2004.html#DwyerRTV04},
	year = {2004},
	biburl = {http://www.bibsonomy.org/bibtex/2b47265fb4e0c3c95d5f280d6eab4324d/dblp},
	description = {dblp},
	ee = {http://csdl.computer.org/comp/proceedings/ase/2004/2131/00/21310154abs.htm}, isbn = {0-7695-2131-2}, date = {2004-10-08},
	keywords = {dblp }
}