Knowledge Tree

researcher / Rémi Morin

Rémi Morin

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Vérification de réseaux de Pétri avec états sous une sémantique d'ordres partiels

Synthèse d'automates asynchrones et communicants