Verifying process models built using parameterized state machines.

Barbara Staudt Lerner

Browse the full ISSTA paper archive.