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

التاريخ: 2017-01-01

الوصف:

108 f.

عرض سجل المادة الكامل

الملفات في هذه المادة

الملفات	الحجم	التنسيق	عرض

هذه المادة تظهر في الحاويات التالية

Magistère Informatique

بحث دي سبيس

استعرض

جميع محتويات المستودع
هذه الحاوية

حسابي