GDH07

Blaise Genest, Philippe Darondeau, Loïc Hélouët. Products of Message Sequence Charts. INRIA Research report INRIA, No 6258, 2007.

Keywords

[ Partial orders ] [ Scenarios ]

Contact

Blaise Genest http://www.irisa.fr/distribcom
Loïc Hélouët http://www.irisa.fr/distribcom/Personal_Pages/helouet/newloic.html

BibTex Reference

@TechReport{GDH07,
   Author = {Genest, Blaise and Darondeau, Philippe and Hélouët, Loïc},
   Title = {Products of Message Sequence Charts},
   Number = {6258},
   Institution = {INRIA},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)