Nombre de documents archivés : 1.
Ben Nasr, Sami (2011). « Model-checking du délai dans les éléments réseaux » Mémoire. Montréal (Québec, Canada), Université du Québec à Montréal, Maîtrise en informatique.