@inproceedings{springerlink:10.1007/978-3-642-13089-2_4,
    Author = {Muscholl, Anca},
    BookTitle = {Proc. of LATA'10},
    Editor = {Dediu, Adrian-Horia and Fernau, Henning and Mart{\'\i}n-Vide, Carlos},
    File = {Analysis of Communicating Automata - Muscholl (0) (0) - a - a - f.pdf},
    ISBN = {978-3-642-13088-5},
    Keywords = {communicating automata and lossy channel systems},
    Pages = {50-57},
    Publisher = {Springer Berlin / Heidelberg},
    Series = {LNCS},
    Title = {Analysis of Communicating Automata},
    Volume = {6031},
    Year = {2010},
    affiliation = {LaBRI, University Bordeaux, France},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-13089-2\_4},
    date-added = {2012-03-21 09:39:11 +0100},
    date-modified = {2014-01-03 17:53:41 +0000},
    keyword = {Computer Science},
    doi = {10.1007/978-3-642-13089-2_4}
}

@inproceedings{springerlink:10.1007/978-3-642-13089-2_4, Author = {Muscholl, Anca}, BookTitle = {Proc. of LATA'10}, Editor = {Dediu, Adrian-Horia and Fernau, Henning and Mart{\'\i}n-Vide, Carlos}, File = {Analysis of Communicating Automata - Muscholl (0) (0) - a - a - f.pdf}, ISBN = {978-3-642-13088-5}, Keywords = {communicating automata and lossy channel systems}, Pages = {50-57}, Publisher = {Springer Berlin / Heidelberg}, Series = {LNCS}, Title = {Analysis of Communicating Automata}, Volume = {6031}, Year = {2010}, affiliation = {LaBRI, University Bordeaux, France}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-13089-2_4}, date-added = {2012-03-21 09:39:11 +0100}, date-modified = {2014-01-03 17:53:41 +0000}, keyword = {Computer Science}, doi = {10.1007/978-3-642-13089-2_4} }