Knowledge Tree

researcher / Janine Magnier

Janine Magnier

at_id:

orcid_id:

Disciplines:

Natural sciences

Edit Merge See Links

Thesis:

Représentation symbolique et vérification formelle de machines séquentielles