-
Selection by year
-
Selection by authors
-
Complete lists
ElkindGP07
E. Elkind, B. Genest, D. Peled. Detecting Races in Ensembles of Message Sequence Charts. In TACAS, Volume LNCS 4424, Pages 420-434, 2007.
Keywords
[ Partial orders ] [ Scenarios ]
Contact
Blaise Genest http://perso.crans.org/~genest/
BibTex Reference
@InProceedings{ElkindGP07,
Author = {Elkind, E. and Genest, B. and Peled, D.},
Title = {Detecting Races in Ensembles of Message Sequence Charts},
BookTitle = {TACAS},
Volume = {LNCS 4424},
Pages = {420--434},
Year = {2007}
}
EndNote Reference [help]
Get EndNote Reference (.ref)