De la vérification symbolique entrelacée à la vérification symbolique basée su la sémantique de maximalité

Saidouni D.E.; Arfi Farid

URI: http://depot.umc.edu.dz/handle/123456789/6990

Date: 2017-01-01

Description:

122 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)

Magistère Informatique

Chercher dans le dépôt

Parcourir

Tout DSpace
Cette collection

Mon compte