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 www.springerlink.com.

QAV:

Home

People

Projects

Publications