ency06

C. Jard. Méthodes formelles pour l'ingénierie des protocoles. Vuibert, 2006.

Keywords

[ Partial orders ] [ Scenarios ] [ Unfolding ]

Contact

Claude Jard http://www.irisa.fr/distribcom

BibTex Reference

@Book{ency06,
   Author = {Jard, C.},
   Title = {Méthodes formelles pour l'ingénierie des protocoles},
   BookTitle = {Encyclopédie des systèmes d'information},
   Pages = {0--0},
   Publisher = {Vuibert},
   Year = {2006}
}

EndNote Reference [help]

Get EndNote Reference (.ref)