@conference {12835,
	title = {The NCSU concurrency workbench},
	booktitle = {Computer Aided Verification},
	year = {1996},
	month = {1996///},
	pages = {394 - 397},
	author = {Cleaveland, Rance and Sims,S.}
}
