Generation of Reduced Models for Checking Fragments of CTL.

Dennis Dams, Orna Grumberg, Rob Gerth

Browse the full CAV paper archive.