| Automaton Type: Nondeterministic Büchi | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| #1 | ID: 3140 | Author: GOAL | #2 | ID: 3139 | Author: GOAL | #3 | N/A | ||||
| St: 5 | Tr: 11 | Date: 2015-12-13 21:46:03 | St: 5 | Tr: 11 | Date: 2015-12-13 21:46:00 | ||||||
| Description: | Description: | ||||||||||
| Download: GFF Promela Add to Cart | Download: GFF Promela Add to Cart | ||||||||||
|
Acceptance condition: s1, s2, s3, s4 |
Acceptance condition: s1, s2, s3, s4 |
||||||||||
|
|
||||||||||