Simulation as Coarsest Partition Problem.

Raffaella Gentilini, Carla Piazza, Alberto Policriti

Browse the full TACAS paper archive.