ElkindGP07

Edith Elkind, Blaise Genest, Doron 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://www.irisa.fr/distribcom

BibTex Reference

@InProceedings{ElkindGP07,
   Author = {Elkind, Edith and Genest, Blaise and Peled, Doron},
   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)