@inproceedings{Varacca:2006:TLM:1157735.1158076,
    Address = {Washington, DC, USA},
    Author = {Varacca, Daniele and Volzer, Hagen},
    BookTitle = {Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science},
    File = {Temporal Logics and Model Checking for Fairly Correct Systems - Varacca, Volzer (0) (0) - a - a - d.pdf},
    ISBN = {0-7695-2631-4},
    Keywords = {meagre set},
    Pages = {389--398},
    Publisher = {IEEE Computer Society},
    Series = {LICS '06},
    Title = {Temporal Logics and Model Checking for Fairly Correct Systems},
    URL = {http://dx.doi.org/10.1109/LICS.2006.49},
    Year = {2006},
    acmid = {1158076},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2006.49},
    date-added = {2013-04-26 16:15:46 +0000},
    date-modified = {2013-04-26 21:42:43 +0000},
    numpages = {10},
    doi = {10.1109/LICS.2006.49}
}

@inproceedings{Varacca:2006:TLM:1157735.1158076, Address = {Washington, DC, USA}, Author = {Varacca, Daniele and Volzer, Hagen}, BookTitle = {Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science}, File = {Temporal Logics and Model Checking for Fairly Correct Systems - Varacca, Volzer (0) (0) - a - a - d.pdf}, ISBN = {0-7695-2631-4}, Keywords = {meagre set}, Pages = {389--398}, Publisher = {IEEE Computer Society}, Series = {LICS '06}, Title = {Temporal Logics and Model Checking for Fairly Correct Systems}, URL = {http://dx.doi.org/10.1109/LICS.2006.49}, Year = {2006}, acmid = {1158076}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2006.49}, date-added = {2013-04-26 16:15:46 +0000}, date-modified = {2013-04-26 21:42:43 +0000}, numpages = {10}, doi = {10.1109/LICS.2006.49} }