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

by A Valmari, M Tienari
Venue:Protocol Specification, Testing and Verification XI