thesis

Contributions à l'approche automate pour la vérification de propriétés de systèmes concurrents

Defense date:

Jan. 1, 2007

Edit

Institution:

Paris 6

Disciplines:

Directors:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

Pas de résumé disponible.