| Automaton Type: Nondeterministic Büchi | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| #1 | ID: 3136 | Author: GOAL | #2 | ID: 3135 | Author: GOAL | #3 | ID: 3134 | Author: GOAL | |||
| St: 3 | Tr: 10 | Date: 2015-12-01 00:52:31 | St: 3 | Tr: 10 | Date: 2015-12-01 00:52:07 | St: 3 | Tr: 10 | Date: 2015-12-01 00:52:04 | |||
| Description: | Description: | Description: | |||||||||
| Download: GFF Promela Add to Cart | Download: GFF Promela Add to Cart | Download: GFF Promela Add to Cart | |||||||||
|
Acceptance condition: s0, s1, s2 |
Acceptance condition: s0, s1, s2 |
Acceptance condition: s0, s1, s2 |
|||||||||
|
|
|
|||||||||