Recherche

		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 2 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	tel-00004896v1 Thèse Radu Mateescu. Vérification des propriétés temporelles des programmes parallèles Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 1998. Français
	tel-01097793v2 Thèse Kim Quyen Ly. Automated verification of termination certificates Computation and Language [cs.CL]. Université de Grenoble, 2014. English. < NNT : 2014GRENM036 >
		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 2 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM