-
Selection by year
-
Selection by authors
-
Complete lists
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)