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

Darondeau2008c

P. Darondeau, B. Genest, L. Hélouet. Products of Message Sequence Charts. In Foundations of Software Science and Computational Structures, Springer Berlin / Heidelberg (ed.), Lecture Notes in Computer Science, Volume 4962, Pages 458-473, 2008.

Keyword

[ Component ]

Contact

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

BibTex Reference

@InProceedings{Darondeau2008c,
   Author = {Darondeau, P. and Genest, B. and Hélouet, L.},
   Title = {Products of Message Sequence Charts},
   BookTitle = {Foundations of Software Science and Computational Structures},
   editor = {Berlin / Heidelberg, Springer},
   Volume = {4962},
   Pages = {458--473},
   Series = {Lecture Notes in Computer Science},
   Year = {2008}
}

EndNote Reference [help]

Get EndNote Reference (.ref)