@chapter{BolligGastinMonmegeZeitoun,
    Author = {Bollig, Benedikt and Gastin, Paul and Monmege, Benjamin and Zeitoun, Marc},
    BookTitle = {Automated Technology for Verification and Analysis},
    File = {A Probabilistic Kleene Theorem - Bollig, Gastin, Monmege, Zeitoun (0) (0) - a - a - f.pdf},
    Pages = {400--415},
    Series = {Lecture Notes in Computer Science},
    Title = {A Probabilistic Kleene Theorem},
    Year = {2012},
    bdsk-url-1 = {http://www.springerlink.com/content/d02u7k66w231r836/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-33386-6\_31},
    date-added = {2012-11-01 13:41:37 +0000},
    date-modified = {2012-11-01 13:41:37 +0000},
    file-2 = {A Probabilistic Kleene Theorem - Bollig, Gastin, Monmege, Zeitoun (1) (0) - a - a - f.pdf},
    doi = {10.1007/978-3-642-33386-6_31}
}

@chapter{BolligGastinMonmegeZeitoun, Author = {Bollig, Benedikt and Gastin, Paul and Monmege, Benjamin and Zeitoun, Marc}, BookTitle = {Automated Technology for Verification and Analysis}, File = {A Probabilistic Kleene Theorem - Bollig, Gastin, Monmege, Zeitoun (0) (0) - a - a - f.pdf}, Pages = {400--415}, Series = {Lecture Notes in Computer Science}, Title = {A Probabilistic Kleene Theorem}, Year = {2012}, bdsk-url-1 = {http://www.springerlink.com/content/d02u7k66w231r836/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-33386-6_31}, date-added = {2012-11-01 13:41:37 +0000}, date-modified = {2012-11-01 13:41:37 +0000}, file-2 = {A Probabilistic Kleene Theorem - Bollig, Gastin, Monmege, Zeitoun (1) (0) - a - a - f.pdf}, doi = {10.1007/978-3-642-33386-6_31} }