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, Janvier 2000.

Contact

Didier Bert

Référence BibTex

@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}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)