@inproceedings{TorreMadhusudanParlato:TACAS:2008,
    Author = {Torre, Salvatore La and Madhusudan, P. and Parlato, Gennaro},
    BookTitle = {Proc. of TACAS'08},
    File = {Context-Bounded Analysis of Concurrent Queue Systems - Torre, Madhusudan, Parlato (0) (0) - a - a - z.pdf},
    Keywords = {communicating automata},
    Pages = {299--314},
    Series = {LNCS},
    Title = {Context-Bounded Analysis of Concurrent Queue Systems},
    Volume = {4963},
    Year = {2008},
    bdsk-url-1 = {http://www.springerlink.com/content/55p3601522937435/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-78800-3\_21},
    date-added = {2012-05-24 14:49:37 +0200},
    date-modified = {2015-03-26 19:57:37 +0000},
    doi = {10.1007/978-3-540-78800-3_21}
}

@inproceedings{TorreMadhusudanParlato:TACAS:2008, Author = {Torre, Salvatore La and Madhusudan, P. and Parlato, Gennaro}, BookTitle = {Proc. of TACAS'08}, File = {Context-Bounded Analysis of Concurrent Queue Systems - Torre, Madhusudan, Parlato (0) (0) - a - a - z.pdf}, Keywords = {communicating automata}, Pages = {299--314}, Series = {LNCS}, Title = {Context-Bounded Analysis of Concurrent Queue Systems}, Volume = {4963}, Year = {2008}, bdsk-url-1 = {http://www.springerlink.com/content/55p3601522937435/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-78800-3_21}, date-added = {2012-05-24 14:49:37 +0200}, date-modified = {2015-03-26 19:57:37 +0000}, doi = {10.1007/978-3-540-78800-3_21} }