Dépôt institutionnel de l'universite Freres Mentouri Constantine 1

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

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

Benayoune Salim; Benmouhammed D.E. Saidouni
URI: http://depot.umc.edu.dz/handle/123456789/6997
Date: 2017-01-01

Description:

108 f.

Afficher la notice complète

Fichier(s) constituant ce document

Fichiers Taille Format Vue

Ce document figure dans la(les) collection(s) suivante(s)

Chercher dans le dépôt


Parcourir

Mon compte