@article {12847,
	title = {Equivalence and preorder checking for finite-state systems},
	journal = {Handbook of Process Algebra},
	year = {2001},
	month = {2001///},
	pages = {391 - 424},
	author = {Cleaveland, Rance and Sokolsky,O.}
}
