@inproceedings{151650,
    Author = {Klarlund, Nils and Kozen, D.},
    BookTitle = {Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on},
    File = {Rabin (0) - a - a - f.pdf},
    Keywords = {automata theory;formal logic;Rabin condition;Rabin measures;acceptance conditions;automata theory;fairness constraints;infinite sequences;nondeterministic Buchi automaton specification;reasoning;single transitions;termination problems;verification method;Automata;Computer science;Constraint theory;Logic;Reasoning about programs;Scholarships},
    Month = {July},
    Pages = {256-265},
    Title = {Rabin measures and their applications to fairness and automata theory},
    Year = {1991},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1991.151650},
    date-added = {2014-03-07 13:02:30 +0000},
    date-modified = {2014-03-07 13:02:30 +0000},
    doi = {10.1109/LICS.1991.151650}
}

@inproceedings{151650, Author = {Klarlund, Nils and Kozen, D.}, BookTitle = {Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on}, File = {Rabin (0) - a - a - f.pdf}, Keywords = {automata theory;formal logic;Rabin condition;Rabin measures;acceptance conditions;automata theory;fairness constraints;infinite sequences;nondeterministic Buchi automaton specification;reasoning;single transitions;termination problems;verification method;Automata;Computer science;Constraint theory;Logic;Reasoning about programs;Scholarships}, Month = {July}, Pages = {256-265}, Title = {Rabin measures and their applications to fairness and automata theory}, Year = {1991}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1991.151650}, date-added = {2014-03-07 13:02:30 +0000}, date-modified = {2014-03-07 13:02:30 +0000}, doi = {10.1109/LICS.1991.151650} }