@conference {12772,
	title = {The concurrency workbench},
	booktitle = {Automatic Verification Methods for Finite State Systems},
	year = {1990},
	month = {1990///},
	pages = {24 - 37},
	author = {Cleaveland, Rance and Parrow,J. and Steffen,B.}
}
