@chapter{ParysWalukiewicz,
    Author = {Parys, Pawel and Walukiewicz, Igor},
    BookTitle = {Automata, Languages and Programming},
    File = {Weak Alternating Timed Automata - Parys, Walukiewicz (0) (1) - a - a - m.pdf},
    Keywords = {timed automata and alternating automata},
    Pages = {273--284},
    Series = {Lecture Notes in Computer Science},
    Title = {Weak Alternating Timed Automata},
    Volume = {5556},
    Year = {2009},
    bdsk-url-1 = {http://www.springerlink.com/content/n3647p7104763166/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-02930-1\_23},
    date-added = {2012-05-28 19:11:55 +0200},
    date-modified = {2012-05-28 17:13:01 +0000},
    doi = {10.1007/978-3-642-02930-1_23}
}

@chapter{ParysWalukiewicz, Author = {Parys, Pawel and Walukiewicz, Igor}, BookTitle = {Automata, Languages and Programming}, File = {Weak Alternating Timed Automata - Parys, Walukiewicz (0) (1) - a - a - m.pdf}, Keywords = {timed automata and alternating automata}, Pages = {273--284}, Series = {Lecture Notes in Computer Science}, Title = {Weak Alternating Timed Automata}, Volume = {5556}, Year = {2009}, bdsk-url-1 = {http://www.springerlink.com/content/n3647p7104763166/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-02930-1_23}, date-added = {2012-05-28 19:11:55 +0200}, date-modified = {2012-05-28 17:13:01 +0000}, doi = {10.1007/978-3-642-02930-1_23} }