Equivalent
Complement
Classification
Temporal Hierarchy |
---|
Guarantee |
Spec Patterns |
---|
Unknown |
DBW-Recognizable |
---|
Yes |
ID: 691 | |
Author: Ming-Hsien Tsai | |
St: 2 | |
Tr: 8 | |
Acceptance Condition: {s1} |
|
Temporal Hierarchy |
---|
Guarantee |
Spec Patterns |
---|
Unknown |
DBW-Recognizable |
---|
Yes |
ID: 691 | |
Author: Ming-Hsien Tsai | |
St: 2 | |
Tr: 8 | |
Acceptance Condition: {s1} |
|