001018210
100
$a
y50
101
$a
fre
2001
$a
Verification d'équivalence temporelle dans les modèles du vrai parallelisme.
$b
ressource électronique
328 1
$b
Doctorat
$c
Informatique
700
$a
BOUKALA, mohand-cherif
701
$a
Array
801 0
$a
DZ
$b
CERIST PNST
901
$a
c