%0 Journal Article
%A Sprenger, Christoph
%A Dam, Mads
%T On global induction mechanisms in a $\mu $-calculus with explicit approximations
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2003
%P 365-391
%V 37
%N 4
%I EDP-Sciences
%U http://www.numdam.org/articles/10.1051/ita:2003024/
%R 10.1051/ita:2003024
%G en
%F ITA_2003__37_4_365_0