RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

On global induction mechanisms in a μ-calculus with explicit approximations

Christoph Sprenger and Mads Dam

RAIRO-Theor. Inf. Appl., 37 4 (2003) 365-391

Published online: 15 January 2004

DOI: 10.1051/ita:2003024

Christoph Sprenger

Mads Dam

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)