An improved failures equivalence for finite-state systems with a reduction algorithm (1991)

by A Valmari, M Tienari
Venue:in PSTV ’91. North-Holland