@chapter{LeueMayrWeia,
    Author = {Leue, Stefan and Mayr, Richard and Wei, Wei},
    BookTitle = {Model Checking Software},
    File = {A Scalable Incomplete Test for Message Buffer Overflow in Promela Models - Leue, Mayr, Wei (0) (0) - a - a - f.pdf},
    Keywords = {communicating automata},
    Pages = {216--233},
    Series = {Lecture Notes in Computer Science},
    Title = {A Scalable Incomplete Test for Message Buffer Overflow in Promela Models},
    Volume = {2989},
    Year = {2004},
    bdsk-url-1 = {http://www.springerlink.com/content/63q2n8kh3g6ltxlj/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-24732-6\_16},
    date-added = {2012-06-02 11:29:15 +0200},
    date-modified = {2012-06-02 09:29:23 +0000},
    doi = {10.1007/978-3-540-24732-6_16}
}

@chapter{LeueMayrWeia, Author = {Leue, Stefan and Mayr, Richard and Wei, Wei}, BookTitle = {Model Checking Software}, File = {A Scalable Incomplete Test for Message Buffer Overflow in Promela Models - Leue, Mayr, Wei (0) (0) - a - a - f.pdf}, Keywords = {communicating automata}, Pages = {216--233}, Series = {Lecture Notes in Computer Science}, Title = {A Scalable Incomplete Test for Message Buffer Overflow in Promela Models}, Volume = {2989}, Year = {2004}, bdsk-url-1 = {http://www.springerlink.com/content/63q2n8kh3g6ltxlj/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-24732-6_16}, date-added = {2012-06-02 11:29:15 +0200}, date-modified = {2012-06-02 09:29:23 +0000}, doi = {10.1007/978-3-540-24732-6_16} }