Recherche
Présentation
Le laboratoire
Organigramme
Recrutement
Contact
Accès
Recherche
Equipes
- Administration
- ILJ
- Isid
- Laetitia
- MSDMA
- OC
- SYS
- Vertigo
Actualités et Evénements
Membres
Publications
Doctorants
Formation
Electronique
Informatique
Mathématiques
Master
ENSIIE
Ecole Doctorale
Intranet
Connexion
Accueil CEDRIC
>
Publications
>
Article
>
TFC99
>
[TFC99] A Formal Method to Prove Ordering Properties of Multicast Systems
Revue Internationale avec comité de lecture
:
Journal
ACM Operating System Review
, 1999
Auteurs
:
C. Toinard
,
G. Florin
,
C. Carrez
motcle
:
Download
BibTeX
@article {
TFC99,
title
=
"{A Formal Method to Prove Ordering Properties of Multicast Systems}",
author
=
"C. Toinard and G. Florin and C. Carrez",
journal
=
"ACM Operating System Review",
year
=
1999,
}
Electronique
Informatique
Mathématiques
Master
CNA
M
Réseau Cnam
Accès
Contact
Informations Légales