Knowledge Tree

researcher / Aurore Annichini Collomb

Aurore Annichini Collomb

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Vérification d'automates étendus : algorithmes d'analyse symbolique et mise en oeuvre