@incollection{delzanno:03,
    Author = {Delzanno, Giorgio and Gabbrielli, Maurizio and Meo, MariaChiara},
    BookTitle = {Logic Programming},
    Editor = {Palamidessi, Catuscia},
    File = {Compositional Verification of Infinite State Systems - Delzanno, Gabbrielli, Meo (0) (0) - a - a - k.pdf},
    ISBN = {978-3-540-20642-2},
    Pages = {47-48},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Compositional Verification of Infinite State Systems},
    URL = {http://dx.doi.org/10.1007/978-3-540-24599-5\_4},
    Volume = {2916},
    Year = {2003},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-24599-5\_4},
    date-added = {2012-12-16 17:56:55 +0000},
    date-modified = {2012-12-16 17:56:55 +0000},
    doi = {10.1007/978-3-540-24599-5_4}
}

@incollection{delzanno:03, Author = {Delzanno, Giorgio and Gabbrielli, Maurizio and Meo, MariaChiara}, BookTitle = {Logic Programming}, Editor = {Palamidessi, Catuscia}, File = {Compositional Verification of Infinite State Systems - Delzanno, Gabbrielli, Meo (0) (0) - a - a - k.pdf}, ISBN = {978-3-540-20642-2}, Pages = {47-48}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Compositional Verification of Infinite State Systems}, URL = {http://dx.doi.org/10.1007/978-3-540-24599-5_4}, Volume = {2916}, Year = {2003}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-24599-5_4}, date-added = {2012-12-16 17:56:55 +0000}, date-modified = {2012-12-16 17:56:55 +0000}, doi = {10.1007/978-3-540-24599-5_4} }