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

Date

2017-01-01

Author

Benayoune Salim

Metadata

Show full item record

URI

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

Collections

• Magistère Informatique [205]