Un Nouvel Algorithme de Calcul de l'Ensemble des États Accessibles d'un Système d'Automates Communicants

  • Jean-Christophe CASTIAUX

Student thesis: Master types › Master in Computer science

Date of Award1995
Original languageFrench
Awarding Institution
  • University of Namur
SupervisorBaudouin LE CHARLIER (Supervisor) & Denis Zampunieris (Co-Supervisor)

Cite this

Documents

'