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.

Show full item record

Files in this item

Files	Size	Format	View

This item appears in the following Collection(s)

Magistère Informatique

Search DSpace

Browse

All of DSpace
This Collection
- By Issue Date
- Authors
- Titles
- Subjects

My Account