@incollection{abdulla:atig:cederberg:2013,
    Author = {Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Cederberg, Jonathan},
    BookTitle = {Automated Technology for Verification and Analysis},
    Editor = {Hung, Dang and Ogawa, Mizuhito},
    File = {Analysis of Message Passing Programs Using SMT-Solvers - Abdulla, Atig, Cederberg (0) (0) - a - a - y.pdf},
    ISBN = {978-3-319-02443-1},
    Pages = {272--286},
    Publisher = {Springer International Publishing},
    Series = {Lecture Notes in Computer Science},
    Title = {Analysis of Message Passing Programs Using SMT-Solvers},
    URL = {http://dx.doi.org/10.1007/978-3-319-02444-8\_20},
    Volume = {8172},
    Year = {2013},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-02444-8\_20},
    date-added = {2013-11-12 14:18:49 +0000},
    date-modified = {2014-04-17 17:00:48 +0000},
    doi = {10.1007/978-3-319-02444-8_20}
}

@incollection{abdulla:atig:cederberg:2013, Author = {Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Cederberg, Jonathan}, BookTitle = {Automated Technology for Verification and Analysis}, Editor = {Hung, Dang and Ogawa, Mizuhito}, File = {Analysis of Message Passing Programs Using SMT-Solvers - Abdulla, Atig, Cederberg (0) (0) - a - a - y.pdf}, ISBN = {978-3-319-02443-1}, Pages = {272--286}, Publisher = {Springer International Publishing}, Series = {Lecture Notes in Computer Science}, Title = {Analysis of Message Passing Programs Using SMT-Solvers}, URL = {http://dx.doi.org/10.1007/978-3-319-02444-8_20}, Volume = {8172}, Year = {2013}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-02444-8_20}, date-added = {2013-11-12 14:18:49 +0000}, date-modified = {2014-04-17 17:00:48 +0000}, doi = {10.1007/978-3-319-02444-8_20} }