@chapter{Etessamia,
    Author = {Etessami, K.},
    BookTitle = {Verification, Model Checking, and Abstract Interpretation},
    File = {Analysis of Recursive Game Graphs Using Data Flow Equations - Etessami (0) (0) (0) (0) - a - a - k.pdf},
    Keywords = {pushdown automata and model checking},
    Pages = {23--37},
    Series = {Lecture Notes in Computer Science},
    Title = {Analysis of Recursive Game Graphs Using Data Flow Equations},
    Volume = {2937},
    Year = {2004},
    bdsk-url-1 = {http://www.springerlink.com/content/rkt92212hekrdt33/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-24622-0\_23},
    date-added = {2012-07-04 06:49:18 +0200},
    date-modified = {2012-07-11 09:36:51 +0000},
    file-2 = {Analysis of Recursive Game Graphs Using Data Flow Equations - Etessami (1) (0) (0) (0) - a - a - k.pdf},
    doi = {10.1007/978-3-540-24622-0_23}
}

@chapter{Etessamia, Author = {Etessami, K.}, BookTitle = {Verification, Model Checking, and Abstract Interpretation}, File = {Analysis of Recursive Game Graphs Using Data Flow Equations - Etessami (0) (0) (0) (0) - a - a - k.pdf}, Keywords = {pushdown automata and model checking}, Pages = {23--37}, Series = {Lecture Notes in Computer Science}, Title = {Analysis of Recursive Game Graphs Using Data Flow Equations}, Volume = {2937}, Year = {2004}, bdsk-url-1 = {http://www.springerlink.com/content/rkt92212hekrdt33/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-24622-0_23}, date-added = {2012-07-04 06:49:18 +0200}, date-modified = {2012-07-11 09:36:51 +0000}, file-2 = {Analysis of Recursive Game Graphs Using Data Flow Equations - Etessami (1) (0) (0) (0) - a - a - k.pdf}, doi = {10.1007/978-3-540-24622-0_23} }