A stubborn attack on state explosion (0)

by A Valmari
Venue:In 2nd International Workshop on Computer Aided Verification