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 Mon May 6 18:14:39 2024 EDT.