Equivalent
Complement
Classification
Temporal Hierarchy |
---|
Safety |
Spec Patterns |
---|
Unknown |
DBW-Recognizable |
---|
Unknown |
ID: 2035 | |
Author: GOAL | |
St: 1 | |
Tr: 4 | |
Acceptance Condition: 0: {s0} |
|
Description: Requires mutual exclusion between p,q, and r |