GenestKMP05

Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron Peled. Snapshot Verification. In TACAS, Volume LNCS 3440, Pages 510-525, 2005.

Keywords

[ Partial orders ] [ Scenarios ]

Contact

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

BibTex Reference

@InProceedings{GenestKMP05,
   Author = {Genest, Blaise and Kuske, Dietrich and Muscholl, Anca and Peled, Doron},
   Title = {Snapshot Verification},
   BookTitle = {TACAS},
   Volume = {LNCS 3440},
   Pages = {510--525},
   Year = {2005}
}

EndNote Reference [help]

Get EndNote Reference (.ref)