@conference {12844,
	title = {The Concurrency Factory: A development environment for concurrent systems},
	booktitle = {Computer Aided Verification},
	year = {1996},
	month = {1996///},
	pages = {398 - 401},
	author = {Cleaveland, Rance and Lewis,P. and Smolka,S. and Sokolsky,O.}
}
