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

GenestMP03

B. Genest, A. Muscholl, D. Peled. Message Sequence Charts. In Lectures on Concurrency and Petri Nets, Volume LNCS 3098, Pages 537-558, 2003.

Keywords

[ Partial orders ] [ Scenarios ]

Contact

Blaise Genest http://perso.crans.org/~genest/

BibTex Reference

@InProceedings{GenestMP03,
   Author = {Genest, B. and Muscholl, A. and Peled, D.},
   Title = {Message Sequence Charts},
   BookTitle = {Lectures on Concurrency and Petri Nets},
   Volume = {LNCS 3098},
   Pages = {537--558},
   Year = {2003}
}

EndNote Reference [help]

Get EndNote Reference (.ref)