Parcourir par auteur Hallé, Sylvain

Regrouper par Type | Sans regrouement

Nombre de documents archivés : 1.

Thèse ou essai doctoral accepté

Hallé, Sylvain (2008). « Spécification, validation et satisfiabilité [i.e. satisfaisabilité] de contraintes hybrides par réduction à la logique temporelle » Thèse. Montréal (Québec, Canada), Université du Québec à Montréal, Doctorat en informatique.

Cette liste a été générée le Thu Jan 26 18:15:27 2023 EST.