CITATION STYLE
Zucker, J. (1993). The propositional μ-calculus and its use in model checking (pp. 117–128). https://doi.org/10.1007/3-540-56883-2_7
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley