D | |
---|---|
[Dam94] | Dennis René Dams. CTL* and ECTL* as fragments of the modal μ-calculus. Theoretical Computer Science 126(1):77-96. Elsevier, April 1994. |
Search
Displayed 1 resultList of authors
- 1
D | |
---|---|
[Dam94] | Dennis René Dams. CTL* and ECTL* as fragments of the modal μ-calculus. Theoretical Computer Science 126(1):77-96. Elsevier, April 1994. |