@inproceedings{vardi:linear_vs_branching:showdown,
    Author = {Vardi, Moshe Y.},
    BookTitle = {Tools and Algorithms for the Construction and Analysis of Systems},
    File = {Branching vs. Linear Time Final Showdown - Vardi (0) (0) - a - a - q.pdf},
    Keywords = {temporal logic},
    Pages = {1--22},
    Series = {Lecture Notes in Computer Science},
    Title = {Branching vs. Linear Time: Final Showdown},
    Volume = {2031},
    Year = {2001},
    bdsk-url-1 = {http://www.springerlink.com/content/6jtk6mgaa0exhxer/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/3-540-45319-9\_1},
    date-added = {2012-04-04 17:31:57 +0200},
    date-modified = {2012-04-06 09:32:28 +0000},
    doi = {10.1007/3-540-45319-9_1}
}

@inproceedings{vardi:linear_vs_branching:showdown, Author = {Vardi, Moshe Y.}, BookTitle = {Tools and Algorithms for the Construction and Analysis of Systems}, File = {Branching vs. Linear Time Final Showdown - Vardi (0) (0) - a - a - q.pdf}, Keywords = {temporal logic}, Pages = {1--22}, Series = {Lecture Notes in Computer Science}, Title = {Branching vs. Linear Time: Final Showdown}, Volume = {2031}, Year = {2001}, bdsk-url-1 = {http://www.springerlink.com/content/6jtk6mgaa0exhxer/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/3-540-45319-9_1}, date-added = {2012-04-04 17:31:57 +0200}, date-modified = {2012-04-06 09:32:28 +0000}, doi = {10.1007/3-540-45319-9_1} }