• Citer

Design of timed systems using a real-time process algebra

par Massart, Thierry ;Van Begin, Laurent ;Van Nuffel, Eric
Référence Panhellenic logic symposium(2: July 1999: Delphi, Greece), Proceedings of the second Panhellenic logic symposium, page (5)
Publication Publié, 1999

Publication dans des actes

• Détails

Titre:	Design of timed systems using a real-time process algebra
Auteur:	Massart, Thierry; Van Begin, Laurent; Van Nuffel, Eric
Informations sur la publication:	Panhellenic logic symposium(2: July 1999: Delphi, Greece), Proceedings of the second Panhellenic logic symposium, page (5)
Statut de publication:	Publié, 1999
Sujet CREF:	Informatique mathématique
Langue:	Anglais