Oxford logo
[AKM94] S. Ambler, M. Kwiatkowska and N. Measor. On duality for the modal mu-calculus. In Proc. Computer Science Logic (CSL'94), volume 832 of LNCS, pages 18-32, Springer. 1994. [ps.gz] [bib]
Downloads:  ps.gz ps.gz (50 KB)  bib bib
Notes: The original publication is available at link.springer.com.
Links: [Google] [Google Scholar] [CiteSeer]

QAV:

>  Home

>  People

>  Projects

>  Publications