Jump to : Contact | BibTex reference | EndNote reference |

DGH08

Philippe Darondeau, Blaise Genest, Loïc Hélouët. Products of Message Sequence Charts. In 11th International Conference on Foundations of Software Science And Computation Structures (FOSSACS'08), Volume LNCS 4962, Pages 459-474, Budapest, Hungary, April 2008.

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

@InProceedings{DGH08,
   Author = {Darondeau, Philippe and Genest, Blaise and Hélouët, Loïc},
   Title = {Products of Message Sequence Charts},
   BookTitle = {11th International Conference on Foundations of Software Science And Computation Structures (FOSSACS'08)},
   Volume = {LNCS 4962},
   Pages = {459--474},
   Address = {Budapest, Hungary},
   Month = {April},
   Year = {2008}
}

EndNote Reference [help]

Get EndNote Reference (.ref)