Application de la méthode de vérification de modèles sur des protocoles de communication JAVA - Ben Ezzine, Radhouane (ProQuest Dissertations and Theses, 2002)