Although this chapter is based on a conference publication [MM02], more detail may be found in the significantly revised and expanded journal version [MM04b].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2005 Springer Science+Business Media, Inc.
About this chapter
Cite this chapter
(2005). The quantitative modal μ-calculus, and gambling games. In: Abstraction, Refinement and Proof for Probabilistic Systems. Monographs in Computer Science. Springer, New York, NY. https://doi.org/10.1007/0-387-27006-X_11
Download citation
DOI: https://doi.org/10.1007/0-387-27006-X_11
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-40115-7
Online ISBN: 978-0-387-27006-7
eBook Packages: Computer ScienceComputer Science (R0)