Download: |
|
Automaton Type: Deterministic Co-Büchi | ||
---|---|---|
ID: 2258 | ||
Author: GOAL | ||
St: 3 | ||
Tr: 12 | ||
Acceptance Condition: {s0, s1} |
||
Download: |
|
Automaton Type: Deterministic Co-Büchi | ||
---|---|---|
ID: 2258 | ||
Author: GOAL | ||
St: 3 | ||
Tr: 12 | ||
Acceptance Condition: {s0, s1} |
||