Reduced Labelled Transition Systems Save Verification Effort.

Antti Valmari, Matthew Clegg

Browse the full CONCUR paper archive.