@inbook{Fortin2016,
    Address = {Berlin, Heidelberg},
    Author = {Fortin, Marie and Gastin, Paul},
    BookTitle = {Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016, Proceedings},
    Editor = {Jacobs, Bart and L{\"o}ding, Christof},
    File = {FG-fossacs16 (1) - a - a - r.pdf},
    ISBN = {978-3-662-49630-5},
    Pages = {197--213},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Verification of Parameterized Communicating Automata via Split-Width},
    URL = {http://dx.doi.org/10.1007/978-3-662-49630-5\_12},
    Year = {2016},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-49630-5\_12},
    date-added = {2017-02-28 08:14:40 +0000},
    date-modified = {2017-02-28 08:14:40 +0000},
    doi = {10.1007/978-3-662-49630-5_12}
}

@inbook{Fortin2016, Address = {Berlin, Heidelberg}, Author = {Fortin, Marie and Gastin, Paul}, BookTitle = {Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016, Proceedings}, Editor = {Jacobs, Bart and L{\"o}ding, Christof}, File = {FG-fossacs16 (1) - a - a - r.pdf}, ISBN = {978-3-662-49630-5}, Pages = {197--213}, Publisher = {Springer Berlin Heidelberg}, Title = {Verification of Parameterized Communicating Automata via Split-Width}, URL = {http://dx.doi.org/10.1007/978-3-662-49630-5_12}, Year = {2016}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-49630-5_12}, date-added = {2017-02-28 08:14:40 +0000}, date-modified = {2017-02-28 08:14:40 +0000}, doi = {10.1007/978-3-662-49630-5_12} }