@incollection{AlfaroFaellaHenzingerMajumdarStoelinga:2004,
    Author = {Alfaro, Luca and Faella, Marco and Henzinger, Thomas A. and Majumdar, Rupak and Stoelinga, Mari{\"e}lle},
    BookTitle = {Tools and Algorithms for the Construction and Analysis of Systems},
    Editor = {Jensen, Kurt and Podelski, Andreas},
    File = {Model Checking Discounted Temporal Properties - Alfaro, Faella, Henzinger, Majumdar, Stoelinga (1) (0) - a - a - g.pdf},
    ISBN = {978-3-540-21299-7},
    Pages = {77-92},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Model Checking Discounted Temporal Properties},
    URL = {http://dx.doi.org/10.1007/978-3-540-24730-2\_6},
    Volume = {2988},
    Year = {2004},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-24730-2\_6},
    date-added = {2014-02-28 14:12:44 +0000},
    date-modified = {2014-02-28 14:12:44 +0000},
    file-2 = {Model Checking Discounted Temporal Properties - Alfaro, Faella, Henzinger, Majumdar, Stoelinga (0) (0) - a - a - g.pdf},
    doi = {10.1007/978-3-540-24730-2_6}
}

@incollection{AlfaroFaellaHenzingerMajumdarStoelinga:2004, Author = {Alfaro, Luca and Faella, Marco and Henzinger, Thomas A. and Majumdar, Rupak and Stoelinga, Mari{\"e}lle}, BookTitle = {Tools and Algorithms for the Construction and Analysis of Systems}, Editor = {Jensen, Kurt and Podelski, Andreas}, File = {Model Checking Discounted Temporal Properties - Alfaro, Faella, Henzinger, Majumdar, Stoelinga (1) (0) - a - a - g.pdf}, ISBN = {978-3-540-21299-7}, Pages = {77-92}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Model Checking Discounted Temporal Properties}, URL = {http://dx.doi.org/10.1007/978-3-540-24730-2_6}, Volume = {2988}, Year = {2004}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-24730-2_6}, date-added = {2014-02-28 14:12:44 +0000}, date-modified = {2014-02-28 14:12:44 +0000}, file-2 = {Model Checking Discounted Temporal Properties - Alfaro, Faella, Henzinger, Majumdar, Stoelinga (0) (0) - a - a - g.pdf}, doi = {10.1007/978-3-540-24730-2_6} }