Radu Mateescu. Vérification des propriétés temporelles des programmes parallèles. (Verification of temporal properties of parallel programs). PhD thesis, Grenoble Institute of Technology, France, 1998. [doi]
No references recorded for this publication.
No citations of this publication recorded.