@inproceedings{Bouajjani:2012:BPA:2260516.2260557,
    Address = {Berlin, Heidelberg},
    Author = {Bouajjani, Ahmed and Emmi, Michael},
    BookTitle = {Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems},
    File = {Bounded phase analysis of message-passing programs - Bouajjani, Emmi (0) (0) - a - a - z.pdf},
    ISBN = {978-3-642-28755-8},
    Keywords = {readme},
    Location = {Tallinn, Estonia},
    Pages = {451--465},
    Publisher = {Springer-Verlag},
    Series = {TACAS'12},
    Title = {Bounded phase analysis of message-passing programs},
    URL = {http://dx.doi.org/10.1007/978-3-642-28756-5\_31},
    Year = {2012},
    acmid = {2260557},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-28756-5\_31},
    date-added = {2013-11-12 14:19:39 +0000},
    date-modified = {2014-04-17 17:29:58 +0000},
    file-2 = {Bounded phase analysis of message-passing programs - Bouajjani, Emmi (1) (0) - a - a - z.pdf},
    numpages = {15},
    doi = {10.1007/978-3-642-28756-5_31}
}

@inproceedings{Bouajjani:2012:BPA:2260516.2260557, Address = {Berlin, Heidelberg}, Author = {Bouajjani, Ahmed and Emmi, Michael}, BookTitle = {Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems}, File = {Bounded phase analysis of message-passing programs - Bouajjani, Emmi (0) (0) - a - a - z.pdf}, ISBN = {978-3-642-28755-8}, Keywords = {readme}, Location = {Tallinn, Estonia}, Pages = {451--465}, Publisher = {Springer-Verlag}, Series = {TACAS'12}, Title = {Bounded phase analysis of message-passing programs}, URL = {http://dx.doi.org/10.1007/978-3-642-28756-5_31}, Year = {2012}, acmid = {2260557}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-28756-5_31}, date-added = {2013-11-12 14:19:39 +0000}, date-modified = {2014-04-17 17:29:58 +0000}, file-2 = {Bounded phase analysis of message-passing programs - Bouajjani, Emmi (1) (0) - a - a - z.pdf}, numpages = {15}, doi = {10.1007/978-3-642-28756-5_31} }