@chapter{Mioa,
    Author = {Mio, Matteo},
    BookTitle = {Foundations of Software Science and Computational Structures},
    File = {Probabilistic Modal {$\mu$}-Calculus with Independent Product - Mio (0) (0) - a - a - l.pdf},
    Pages = {290--304},
    Series = {Lecture Notes in Computer Science},
    Title = {Probabilistic Modal {$\mu$}-Calculus with Independent Product},
    Volume = {6604},
    Year = {2011},
    bdsk-url-1 = {http://www.springerlink.com/content/c8132r57t1332k3l/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-19805-2\_20},
    date-added = {2012-06-01 16:42:29 +0200},
    date-modified = {2012-06-01 14:42:29 +0000},
    doi = {10.1007/978-3-642-19805-2_20}
}

@chapter{Mioa, Author = {Mio, Matteo}, BookTitle = {Foundations of Software Science and Computational Structures}, File = {Probabilistic Modal {$\mu$}-Calculus with Independent Product - Mio (0) (0) - a - a - l.pdf}, Pages = {290--304}, Series = {Lecture Notes in Computer Science}, Title = {Probabilistic Modal {$\mu$}-Calculus with Independent Product}, Volume = {6604}, Year = {2011}, bdsk-url-1 = {http://www.springerlink.com/content/c8132r57t1332k3l/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-19805-2_20}, date-added = {2012-06-01 16:42:29 +0200}, date-modified = {2012-06-01 14:42:29 +0000}, doi = {10.1007/978-3-642-19805-2_20} }