Algorithme pour la vérification par des relations de bisimulation basées sur la sémantique de maximalité

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