TY - JOUR T1 - Equivalence and preorder checking for finite-state systems JF - Handbook of Process Algebra Y1 - 2001 A1 - Cleaveland, Rance A1 - Sokolsky,O. ER -