Blaise Genest, Anca Muscholl. Pattern Matching and Membership for Hierarchical Message Sequence Charts. In LATIN, Volume LNCS 2286, Pages 326-340, 2002.
[ Partial orders ] [ Scenarios ]
Blaise Genest http://www.irisa.fr/distribcom
@InProceedings{GenestM02,
Author = {Genest, Blaise and Muscholl, Anca},
Title = {Pattern Matching and Membership for Hierarchical Message Sequence Charts},
BookTitle = {LATIN},
Volume = {LNCS 2286},
Pages = {326--340},
Year = {2002}
}
Get EndNote Reference (.ref)