%0 Conference Paper %B Workshop on Computer-Aided Verification %D 1990 %T On automatically distinguishing inequivalent processes %A Cleaveland, Rance %B Workshop on Computer-Aided Verification %8 1990/// %G eng