Knowledge Tree

researcher / Paulin Fournier

Paulin Fournier

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Parameterized verification of networks of many identical processesVérification paramétrée de réseaux composés d'une multitude de processus identiques