par Massart, Thierry ;Van Begin, Laurent ;Van Nuffel, Eric
Référence Proceedings of the second Panhellenic logic symposium, Panhellenic logic symposium(2: July 1999: Delphi, Greece), 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
Informations sur la publication:Proceedings of the second Panhellenic logic symposium, Panhellenic logic symposium(2: July 1999: Delphi, Greece), page (5)
Statut de publication:Publié, 1999
Sujet CREF:Informatique mathématique
Langue:Anglais