Knowledge Tree

researcher / Khalil Ajami

Khalil Ajami

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

La Vérification des Systèmes Concurrents : une Approche Fondée sur l'Exploitation des Symétries