%0 Journal Article
%A Zhang, Guo-Qiang
%T Domain mu-calculus
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2003
%P 337-364
%V 37
%N 4
%I EDP-Sciences
%U http://www.numdam.org/articles/10.1051/ita:2003023/
%R 10.1051/ita:2003023
%G en
%F ITA_2003__37_4_337_0