Junghyun Chae UQAM Other Sujets d’intérêts Mise en oeuvre parallèle et distribuée d’un algorithme de vérification de modèle
