The Quantitative mu-Calculus

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

Bookmark the permalink.