Knowledge Tree

researcher / Didier Vergamini

Didier Vergamini

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Vérification de réseaux d'automates finis par équivalences observationnelles : le système AUTO