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 Wed Mar 27 18:14:36 2024 EDT.