Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 1.Ident. | Authors (with country if any) | Title |
---|---|---|
000801 | Dominique Cansell [France] ; Ganesh Gopalakrishnan [États-Unis] ; Mike Jones [États-Unis] ; Dominique Méry [France] ; Airy Weinzoepflen [France] | Incremental proof of the producer/consumer property for the PCI protocol |
This area was generated with Dilib version V0.6.33. |