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

Date

2017-01-01

Auteur

Benayoune Salim

Metadata

Afficher la notice complète

URI

http://hdl.handle.net/123456789/6780

Collections

• Magistère Informatique [205]