Fabien Dagnat. Vérification Statique de Programmes Répartis. (Static Verification of distributed programs). PhD thesis, National Polytechnic Institute of Toulouse, France, 2001. [doi]
No references recorded for this publication.
No citations of this publication recorded.