@article{deAlfaro2005139,
    Author = {de Alfaro, Luca and Faella, Marco and Henzinger, Thomas A. and Majumdar, Rupak and Stoelinga, Mari{\"e}lle},
    File = {Model checking discounted temporal properties - Alfaro, Faella, Henzinger, Majumdar, Stoelinga (0) (1) - a - a - g.pdf},
    ISSN = {0304-3975},
    Journal = {Theoretical Computer Science},
    Keywords = {\{CTL\}},
    Note = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004) Tools and Algorithms for the Construction and Analysis of Systems 2004},
    Number = {1},
    Pages = {139 - 170},
    Title = {Model checking discounted temporal properties},
    URL = {http://www.sciencedirect.com/science/article/pii/S0304397505003890},
    Volume = {345},
    Year = {2005},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0304397505003890},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.tcs.2005.07.033},
    date-added = {2014-02-28 14:11:36 +0000},
    date-modified = {2014-02-28 14:11:36 +0000},
    doi = {10.1016/j.tcs.2005.07.033}
}

@article{deAlfaro2005139, Author = {de Alfaro, Luca and Faella, Marco and Henzinger, Thomas A. and Majumdar, Rupak and Stoelinga, Mari{\"e}lle}, File = {Model checking discounted temporal properties - Alfaro, Faella, Henzinger, Majumdar, Stoelinga (0) (1) - a - a - g.pdf}, ISSN = {0304-3975}, Journal = {Theoretical Computer Science}, Keywords = {{CTL}}, Note = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004) Tools and Algorithms for the Construction and Analysis of Systems 2004}, Number = {1}, Pages = {139 - 170}, Title = {Model checking discounted temporal properties}, URL = {http://www.sciencedirect.com/science/article/pii/S0304397505003890}, Volume = {345}, Year = {2005}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0304397505003890}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.tcs.2005.07.033}, date-added = {2014-02-28 14:11:36 +0000}, date-modified = {2014-02-28 14:11:36 +0000}, doi = {10.1016/j.tcs.2005.07.033} }