From bisimulation to simulation: Coarsest partition problems (0)

by R Gentilini, C Piazza, A Policriti
Venue:J. Autom. Reasoning