![](/img/cover-not-exists.png)
A linear translation from CTL* to the first-order modal μ -calculus
Sjoerd Cranen, Jan Friso Groote, Michel ReniersVolume:
412
Year:
2011
Language:
english
Pages:
11
DOI:
10.1016/j.tcs.2011.02.034
File:
PDF, 278 KB
english, 2011