Knowledge Tree

researcher / Stéphane Turc

Stéphane Turc

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Formalisation de la correction des exécutions dans les systèmes transactionnels sujets aux pannes