Aucune photo de Frumence Mayala Lusilabo mfumua'Nsi

Frumence Mayala Lusilabo mfumua'Nsi

20022004
Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Projets 2002 2004

Thèse

Sémantique et vérification de langages de coordination par les réseaux de Petri

Auteur: Mayala Lusilabo mfumua'Nsi, F., 2005

Superviseur: Jacquet, J. (Promoteur)

Thèse de l'étudiant: DEA typesDEA en Informatique