Jump to : Keywords | Contact | BibTex reference | EndNote reference |

GDH07

B. Genest, P. Darondeau, L. Hélouet. Products of Message Sequence Charts. INRIA Research report INRIA, No 6258, 2007.

Keywords

[ Partial orders ] [ Scenarios ]

Contact

Blaise Genest http://perso.crans.org/~genest/
Philippe Darondeau
Loic Hélouet http://people.irisa.fr/Loic.Helouet/

BibTex Reference

@TechReport{GDH07,
   Author = {Genest, B. and Darondeau, P. and Hélouet, L.},
   Title = {Products of Message Sequence Charts},
   Number = {6258},
   Institution = {INRIA},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)