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

GenestMMP04

B. Genest, M. Minea, A. Muscholl, D. 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://perso.crans.org/~genest/

BibTex Reference

@InProceedings{GenestMMP04,
   Author = {Genest, B. and Minea, M. and Muscholl, A. and Peled, D.},
   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)