Knowledge Tree

researcher / Alain Kerbrat

Alain Kerbrat

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Méthodes symboliques pour la vérification de processus communicants : étude et mise en oeuvre