|
[MM02]
A. McIver and C. Morgan.
Games, probability and the quantitative mu-calculus qMu.
In M. Baaz and A. Voronkov (editors), Proc. LPAR'02, volume 2514 of LNAI, Springer.
2002.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|