- Committer: jespoke
- Date: 2021-09-28 11:04:10 UTC
- Revision ID: jespoke@hotmail.com-20210928110410-nd68d96nassqy266
Trying to commit to bzr
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
CTL-formula-equivalence-rewriting.pdf |
181.3.13 | 6 years ago | Jiri Srba | added documentation for CTL equivalence simplifica | 171 KB |
|
|
|
new-reductionsABCDE-documentation.pdf |
151 | 7 years ago | Jiri Srba | added documentation for rules A, B, C, D, E | 159 KB |
|
|
|
reductionsABCD-documentation.pdf |
53.1.2 | 9 years ago | Jiri Srba | updated Documentation according to the last change | 130 KB |
|
|
|
siphon-trap-formula-simplification-stubborn-sets.pdf |
152.32.24 | 6 years ago | Jakob Dyhr | Add documentation for siphon-trap, formula simplif | 335 KB |
|
|