1 results
On global induction mechanisms in a μ-calculus with explicitapproximations
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 37 / Issue 4 / October 2003
- Published online by Cambridge University Press:
- 15 January 2004, pp. 365-391
- Print publication:
- October 2003
-
- Article
- Export citation