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

GenestKMP05

B. Genest, D. Kuske, A. Muscholl, D. Peled. Snapshot Verification. In TACAS, Volume LNCS 3440, Pages 510-525, 2005.

Keywords

[ Partial orders ] [ Scenarios ]

Contact

Blaise Genest http://perso.crans.org/~genest/

BibTex Reference

@InProceedings{GenestKMP05,
   Author = {Genest, B. and Kuske, D. and Muscholl, A. and Peled, D.},
   Title = {Snapshot Verification},
   BookTitle = {TACAS},
   Volume = {LNCS 3440},
   Pages = {510--525},
   Year = {2005}
}

EndNote Reference [help]

Get EndNote Reference (.ref)