by Diana Fischer
Reference:
The Quantitative mu-Calculus (Diana Fischer), PhD thesis, RWTH Aachen University, 2013.
Bibtex Entry:
@phdthesis{Fischer13, author = {Diana Fischer}, school = {{RWTH} Aachen University}, title = {The {Q}uantitative mu-{C}alculus}, url = {http://www.logic.rwth-aachen.de/pub/fischer/diss_fischer.pdf}, year = {2013}, }