Equivalent

Complement

Classification

Temporal Hierarchy
Unknown
Spec Patterns
Unknown
DBW-Recognizable
Unknown
ID: 3152
Author: GOAL
St: 5
Tr: 42
Acceptance Condition:
s2, s3, s4