Titre:
  • General Refinement in the M-net Calculus: (LIT 357)
Auteur:Devillers, Raymond; Klaudel, Hanna; Riemann, Robert-C.
Informations sur la publication:Laboratoire d'informatique théorique, ULB
Statut de publication:Publié, 1997
Sujet CREF:Informatique mathématique
Langue:Anglais