Model Checking of Unrestricted Hierarchical State Machines.

Michael Benedikt, Patrice Godefroid, Thomas W. Reps

Browse the full ICALP paper archive.