@InProceedings{l02-p326-340,
  AUTHOR    = {Blaise Genest and Anca Muscholl},
  TITLE     = {Pattern Matching and Membership for Hierarchical Message Sequence Charts},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {326--340},
  KEYWORDS  = {}}