GenestMMP04

Blaise Genest, Marius Minea, Anca Muscholl, Doron Peled. Specifying and Verifying Partial Order Properties Using Template MSCs. In FoSSaCS, Volume LNCS 2987, Pages 195-210, 2004.

Keywords

[ Partial orders ] [ Scenarios ]

Contact

Blaise Genest http://www.irisa.fr/distribcom

BibTex Reference

@InProceedings{GenestMMP04,
   Author = {Genest, Blaise and Minea, Marius and Muscholl, Anca and Peled, Doron},
   Title = {Specifying and Verifying Partial Order Properties Using Template    MSCs},
   BookTitle = {FoSSaCS},
   Volume = {LNCS 2987},
   Pages = {195--210},
   Year = {2004}
}

EndNote Reference [help]

Get EndNote Reference (.ref)