Search Results – Theses Canada

Back  Revise Search
Search term(s)
1 result(s) found for "Hallé, Sylvain.".
AuthorTitleDegreePublication Date
Hallé, Sylvain.Spécification, validation et satisfiabilité [i.e. satisfaisabilité] de contraintes hybrides par réduction à la logique temporelle.Thèse (Thèse)--Université du Québec à Montréal, 2008.2008