@chapter{Vardi,
    Author = {Vardi, Moshe Y.},
    BookTitle = {Computer Science Today},
    File = {Alternating automata and program verification - Vardi (0) (0) - a - a - g.pdf},
    Keywords = {automata theory and model checking and alternating automata and temporal logic},
    Pages = {471--485},
    Series = {Lecture Notes in Computer Science},
    Title = {Alternating automata and program verification},
    Volume = {1000},
    Year = {1995},
    bdsk-url-1 = {http://www.springerlink.com/content/m5k1837m40g55434/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/BFb0015261},
    date-added = {2012-04-05 21:03:26 +0200},
    date-modified = {2012-04-05 19:03:51 +0000},
    doi = {10.1007/BFb0015261}
}

@chapter{Vardi, Author = {Vardi, Moshe Y.}, BookTitle = {Computer Science Today}, File = {Alternating automata and program verification - Vardi (0) (0) - a - a - g.pdf}, Keywords = {automata theory and model checking and alternating automata and temporal logic}, Pages = {471--485}, Series = {Lecture Notes in Computer Science}, Title = {Alternating automata and program verification}, Volume = {1000}, Year = {1995}, bdsk-url-1 = {http://www.springerlink.com/content/m5k1837m40g55434/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/BFb0015261}, date-added = {2012-04-05 21:03:26 +0200}, date-modified = {2012-04-05 19:03:51 +0000}, doi = {10.1007/BFb0015261} }