@inproceedings{Gawlitza:2009:GTN:1575060.1575087,
    Address = {Berlin, Heidelberg},
    Author = {Gawlitza, Thomas Martin and Seidl, Helmut},
    BookTitle = {Proceedings of the 21st International Conference on Computer Aided Verification},
    File = {Games Through Nested Fixpoints - Gawlitza, Seidl (0) (0) - a - a - j.pdf},
    ISBN = {978-3-642-02657-7},
    Location = {Grenoble, France},
    Pages = {291--305},
    Publisher = {Springer-Verlag},
    Series = {CAV '09},
    Title = {Games Through Nested Fixpoints},
    URL = {http://dx.doi.org/10.1007/978-3-642-02658-4\_24},
    Year = {2009},
    acmid = {1575087},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-02658-4\_24},
    date-added = {2014-01-16 14:28:33 +0000},
    date-modified = {2014-01-16 14:28:33 +0000},
    file-2 = {Games Through Nested Fixpoints - Gawlitza, Seidl (1) (0) - a - a - j.pdf},
    numpages = {15},
    doi = {10.1007/978-3-642-02658-4_24}
}

@inproceedings{Gawlitza:2009:GTN:1575060.1575087, Address = {Berlin, Heidelberg}, Author = {Gawlitza, Thomas Martin and Seidl, Helmut}, BookTitle = {Proceedings of the 21st International Conference on Computer Aided Verification}, File = {Games Through Nested Fixpoints - Gawlitza, Seidl (0) (0) - a - a - j.pdf}, ISBN = {978-3-642-02657-7}, Location = {Grenoble, France}, Pages = {291--305}, Publisher = {Springer-Verlag}, Series = {CAV '09}, Title = {Games Through Nested Fixpoints}, URL = {http://dx.doi.org/10.1007/978-3-642-02658-4_24}, Year = {2009}, acmid = {1575087}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-02658-4_24}, date-added = {2014-01-16 14:28:33 +0000}, date-modified = {2014-01-16 14:28:33 +0000}, file-2 = {Games Through Nested Fixpoints - Gawlitza, Seidl (1) (0) - a - a - j.pdf}, numpages = {15}, doi = {10.1007/978-3-642-02658-4_24} }