@incollection{AbdullaBenHendaMayrSandberg:Eager:2006,
    Author = {Abdulla, Parosh Aziz and Ben Henda, Noomene and Mayr, Richard and Sandberg, Sven},
    BookTitle = {Automated Technology for Verification and Analysis},
    Editor = {Graf, Susanne and Zhang, Wenhui},
    File = {Eager Markov Chains - Abdulla, Ben Henda, Mayr, Sandberg (0) (0) - a - a - v.pdf},
    ISBN = {978-3-540-47237-7},
    Pages = {24-38},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Eager Markov Chains},
    URL = {http://dx.doi.org/10.1007/11901914\_5},
    Volume = {4218},
    Year = {2006},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11901914\_5},
    date-added = {2014-06-11 17:07:14 +0000},
    date-modified = {2014-06-11 17:07:14 +0000},
    doi = {10.1007/11901914_5}
}

@incollection{AbdullaBenHendaMayrSandberg:Eager:2006, Author = {Abdulla, Parosh Aziz and Ben Henda, Noomene and Mayr, Richard and Sandberg, Sven}, BookTitle = {Automated Technology for Verification and Analysis}, Editor = {Graf, Susanne and Zhang, Wenhui}, File = {Eager Markov Chains - Abdulla, Ben Henda, Mayr, Sandberg (0) (0) - a - a - v.pdf}, ISBN = {978-3-540-47237-7}, Pages = {24-38}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Eager Markov Chains}, URL = {http://dx.doi.org/10.1007/11901914_5}, Volume = {4218}, Year = {2006}, bdsk-url-1 = {http://dx.doi.org/10.1007/11901914_5}, date-added = {2014-06-11 17:07:14 +0000}, date-modified = {2014-06-11 17:07:14 +0000}, doi = {10.1007/11901914_5} }