TY  - RPRT
TI  - Results on the quantitative mu-calculus qMu
AU  - Annabelle McIver
AU  - Carroll Morgan
PY  - 2003
UR  - https://arxiv.org/abs/cs/0309024
ID  - cs/0309024
ER  -