| |
| 1995 | ||
|---|---|---|
| 2 | EE | Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor: Duality and the Completeness of the Modal mu-Calculus. Theor. Comput. Sci. 151(1): 3-27 (1995) |
| 1993 | ||
| 1 | Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor: On Duality for the Modal µ-Calculus. CSL 1993: 18-32 | |
| 1 | Simon Ambler | [1] [2] |
| 2 | Marta Z. Kwiatkowska | [1] [2] |