Parcourir par auteur Hallé, Sylvain

Regrouper par Type Sans regrouement |

Nombre de documents archivés : 1.

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 Apr 18 18:14:40 2024 EDT.