![](/img/cover-not-exists.png)
On model checking for the μ-calculus and its fragments
E.Allen Emerson, Charanjit S. Jutla, A.Prasad SistlaVolume:
258
Year:
2001
Language:
english
Pages:
32
DOI:
10.1016/s0304-3975(00)00034-7
File:
PDF, 276 KB
english, 2001