@chapter{HeusnerGallSutre,
    Author = {Heu{\ss}ner, Alexander and Gall, Tristan Le and Sutre, Gr{\'e}goire},
    BookTitle = {Tools and Algorithms for the Construction and Analysis of Systems},
    File = {McScM A General Framework for the Verification of Communicating Machines - Heußner, Gall, Sutre (0) (0) - a - a - e.pdf},
    Pages = {478--484},
    Series = {Lecture Notes in Computer Science},
    Title = {McScM: A General Framework for the Verification of Communicating Machines},
    Volume = {7214},
    Year = {2012},
    bdsk-url-1 = {http://www.springerlink.com/content/7p5512u66386k4q1/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-28756-5\_34},
    date-added = {2012-06-07 10:19:37 +0200},
    date-modified = {2012-06-07 08:19:37 +0000},
    doi = {10.1007/978-3-642-28756-5_34}
}

@chapter{HeusnerGallSutre, Author = {Heu{\ss}ner, Alexander and Gall, Tristan Le and Sutre, Gr{\'e}goire}, BookTitle = {Tools and Algorithms for the Construction and Analysis of Systems}, File = {McScM A General Framework for the Verification of Communicating Machines - Heußner, Gall, Sutre (0) (0) - a - a - e.pdf}, Pages = {478--484}, Series = {Lecture Notes in Computer Science}, Title = {McScM: A General Framework for the Verification of Communicating Machines}, Volume = {7214}, Year = {2012}, bdsk-url-1 = {http://www.springerlink.com/content/7p5512u66386k4q1/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-28756-5_34}, date-added = {2012-06-07 10:19:37 +0200}, date-modified = {2012-06-07 08:19:37 +0000}, doi = {10.1007/978-3-642-28756-5_34} }