001023388
100  $a                         y50      
101  $afre
2001 $aVérification des propriétés temporelles dans les systèmes hiérachiques$bressource électronique
210  $aUniversité de Sétif 1 - Ferhat Abbas : Département d'Informatique$cUniversité de Sétif 1 - Ferhat Abbas
328 1$bDoctorat$cInformatique$eDépartement d'Informatique , Université de Sétif 1 - Ferhat Abbas
700  $aBOUAMARI, abdelkader
701  $aArray
801 0$aDZ$bCERIST PNST
901$ac