@inproceedings{conf/eclipse/DwyerHH04,
	title = {Supporting model checking education using BOGOR/Eclipse.},
	author = {Matthew B. Dwyer and John Hatcliff and Matthew Hoosier},
	booktitle = {ETX},
	crossref = {conf/eclipse/2004},
	editor = {Michael G. Burke},
	pages = {88-92},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/eclipse/eclipse2004.html#DwyerHH04},
	year = {2004},
	biburl = {http://www.bibsonomy.org/bibtex/22f19b2ea45bfef8ebe0ce3f3839b5457/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1066129.1066147}, date = {2008-04-02},
	keywords = {dblp }
}