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]
@phdthesis{hal-6591, title = {Vérification des propriétés temporelles des programmes parallèles. (Verification of temporal properties of parallel programs)}, author = {Radu Mateescu}, year = {1998}, url = {https://tel.archives-ouvertes.fr/tel-00004896}, researchr = {https://researchr.org/publication/hal-6591}, cites = {0}, citedby = {0}, school = {Grenoble Institute of Technology, France}, }