CNC:Ber00

Didier Bert. Spécification algébrique et prototypage du contrôle d'accès en LPG. In Actes de l'Atelier AFADL'2000, Y. Ledru (ed.), Pages 142-157, LSR-IMAG, Grenoble, France, January 2000.

Contact

Didier Bert

BibTex Reference

@InProceedings{CNC:Ber00,
   Author = {Bert, Didier},
   Title = {{Spécification algébrique et prototypage du contrôle d'accès en LPG}},
   BookTitle = {Actes de l'Atelier AFADL'2000},
   editor = {Ledru, Y.},
   Pages = {142--157},
   Address = {LSR-IMAG, Grenoble, France},
   Month = {January},
   Year = {2000}
}

EndNote Reference [help]

Get EndNote Reference (.ref)