Jump to : Contact | BibTex reference | EndNote reference |

GM08

B. Genest, A. Muscholl. Pattern Matching and Membership for Hierarchical Message Sequence Charts. Theory of Computing Systems (TOCS), 42(4):536-567, 2008.

Contact

Blaise Genest http://perso.crans.org/~genest/

BibTex Reference

@article{GM08,
   Author = {Genest, B. and Muscholl, A.},
   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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)