Algorithme pour la vérification par des relations de bisimulation basées sur la sémantique de maximalité / Salim Benayoune
Algorithme pour la vérification par des relations de bisimulation basées sur la sémantique de maximalité [] / Salim Benayoune ; Univ. de Constantine, Éditeur scientifique ; D.E. Saidouni Benmouhammed, Directeur de thèse . - 2003 . - 108 f. 1 disponible dans la salle de recherche 2 disponibles au magasin de la bibliothèque centrale
|
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| BEN/3918 | BEN/3918 | Thèse | Bibliothèque principale | Thèses | Disponible |
