Spelling suggestions: "subject:"deux discrete distribués"" "subject:"deux discreta distribués""
1 |
Contribution aux fondements des méthodes formelles : jeux, logique et automatesJanin, David 02 December 2005 (has links) (PDF)
Cette thèse d'HDR en anglais, présente l'essentiel de mes travaux de 1996 à 2005. Voir le résumé anglais pour plus de détails.
|
Page generated in 0.0714 seconds