Probabilistic methods for the verification of distributed systems
Méthodes probabilistes pour la vérification des systèmes distribués
Résumé
L'auteur n'a pas fourni de résumé en anglais.
Ens Cachan Bibliothèque : Connectez-vous pour contacter le contributeur
https://theses.hal.science/tel-00136083
Soumis le : lundi 12 mars 2007-11:09:07
Dernière modification le : vendredi 24 mars 2023-14:52:48
Archivage à long terme le : mardi 6 avril 2010-22:51:02