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

GDH07

Blaise Genest, Philippe Darondeau, Loc Hlout. Products of Message Sequence Charts. INRIA Research report INRIA, No 6258, 2007.

Keywords

[ Partial orders ] [ Scenarios ]

Contact

Blaise Genest http://www.irisa.fr/distribcom
Loc Hlout http://www.irisa.fr/distribcom/Personal_Pages/helouet/newloic.html

BibTex Reference

@TechReport{GDH07,
   Author = {Genest, Blaise and Darondeau, Philippe and Hlout, Loc},
   Title = {Products of Message Sequence Charts},
   Number = {6258},
   Institution = {INRIA},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)