Oxford logo
[AKM95] S. Ambler, M. Kwiatkowska and N. Measor. Duality and the completeness of the modal mu-calculus. Theoretical Computer Science, 151, pages 3-27. 1995. [ps.gz] [bib]
Downloads:  ps.gz ps.gz (74 KB)  bib bib
Links: [Google] [Google Scholar] [CiteSeer]

QAV:

>  Home

>  People

>  Projects

>  Publications