ACL-01:vasco-23

D. Bert. Spécification algébrique et prototypage du ``contrôle d'accès'' en LPG. Technique et Science Informatiques, 20(7):849-873, 2001.

Contact

Didier Bert

Référence BibTex

@article{ACL-01:vasco-23,
   Author = {Bert, D.},
   Title = {{Spécification algébrique et prototypage du ``contrôle d'accès'' en LPG}},
   Journal = {Technique et Science Informatiques},
   Volume = {20(7)},
   Pages = {849--873},
   Year = {2001}
}

Référence EndNote [help]

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