Equivalent

Complement

Classification

Temporal Hierarchy
Response (Recurrence)
Spec Patterns
Response
DBW-Recognizable
Yes
ID: 2927
Author: GOAL
St: 3
Tr: 40
Acceptance Condition:
s1, s2