Knowledge Tree

researcher / Régis Gascon

Régis Gascon

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Spécification et vérification de propriétés quantitatives sur des automates à contraintes