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},
}