@chapter{GenestMuschollPeled,
    Author = {Genest, Blaise and Muscholl, Anca and Peled, Doron},
    BookTitle = {Lectures on Concurrency and Petri Nets},
    File = {Message Sequence Charts - Genest, Muscholl, Peled (0) (0) - a - a - n.pdf},
    Keywords = {message sequence charts and readme},
    Pages = {103--121},
    Series = {Lecture Notes in Computer Science},
    Title = {Message Sequence Charts},
    Volume = {3098},
    Year = {2004},
    bdsk-url-1 = {http://www.springerlink.com/content/1mcqgfacmcftcxlb/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-27755-2\_15},
    date-added = {2012-06-02 11:05:18 +0200},
    date-modified = {2013-02-20 10:03:28 +0000},
    doi = {10.1007/978-3-540-27755-2_15}
}

@chapter{GenestMuschollPeled, Author = {Genest, Blaise and Muscholl, Anca and Peled, Doron}, BookTitle = {Lectures on Concurrency and Petri Nets}, File = {Message Sequence Charts - Genest, Muscholl, Peled (0) (0) - a - a - n.pdf}, Keywords = {message sequence charts and readme}, Pages = {103--121}, Series = {Lecture Notes in Computer Science}, Title = {Message Sequence Charts}, Volume = {3098}, Year = {2004}, bdsk-url-1 = {http://www.springerlink.com/content/1mcqgfacmcftcxlb/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-27755-2_15}, date-added = {2012-06-02 11:05:18 +0200}, date-modified = {2013-02-20 10:03:28 +0000}, doi = {10.1007/978-3-540-27755-2_15} }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge