thesis
Contributions à l'approche automate pour la vérification de propriétés de systèmes concurrents
Institution:
Paris 6Disciplines:
Directors:
Abstract EN:
Pas de résumé disponible.
Abstract FR:
Pas de résumé disponible.
Pas de résumé disponible.
Pas de résumé disponible.