par Massart, Thierry Cliquez pour télécharger la liste de publications de l'auteur; Van Begin, Laurent Liste de publications; Van Nuffel, Eric Liste de publications
Référence Proceedings of the second Panhellenic logic symposium, (page 5)
Publication Publié, 1999
Publication dans des actes
Titre :
  • Design of timed systems using a real-time process algebra
Auteur : Massart, Thierry ; Van Begin, Laurent ; Van Nuffel, Eric
Statut de publication : Publié, 1999
Sujet CREF : Informatique mathématique
Informations sur la publication :
  • , Proceedings of the second Panhellenic logic symposium, Panhellenic logic symposium(2: July 1999: Delphi, Greece), page 5
Langue :
  • Anglais