| dc.contributor.author | Benayoune Salim | |
| dc.contributor.author | Benmouhammed D.E. Saidouni | |
| dc.date.accessioned | 2022-05-24T10:46:52Z | |
| dc.date.available | 2022-05-24T10:46:52Z | |
| dc.date.issued | 2017-01-01 | |
| dc.identifier.uri | http://depot.umc.edu.dz/handle/123456789/6997 | |
| dc.description | 108 f. | |
| dc.subject | Informatique | |
| dc.title | Algorithme pour la vérification par des relations de bisimulation basées sur la sémantique de maximalité | |
| dc.coverage | 1 disponible dans la salle de recherche 2 disponibles au magasin de la bibliothèque centrale |
| Files | Size | Format | View |
|---|