Identifiant pérenne de la notice : 183761472
Notice de type
Personne
Efficient Verification and New Reasoning Techniques for Concurrent Constraint Programming
/ par Luis Fernando Pino Duque ; sous la direction de Catuscia Palamidessi. Thèse
de Doctorat : Informatique : Palaiseau, Ecole polytechnique : 2014
Information trouvée : né le 19881104
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial