Blaise Genest, Anca Muscholl. Pattern Matching and Membership for Hierarchical Message Sequence Charts. Theory of Computing Systems (TOCS), 42(4):536-567, 2008.
Blaise Genest http://www.irisa.fr/distribcom
@article{GM08,
Author = {Genest, Blaise and Muscholl, Anca},
Title = {Pattern Matching and Membership for Hierarchical Message Sequence Charts},
Journal = {Theory of Computing Systems (TOCS)},
Volume = {42},
Number = {4},
Pages = {536--567},
Year = {2008}
}
Get EndNote Reference (.ref)