• Citer

A toolset for the analysis of et-lotos specifications

par Hernalsteen, Christian ;De Jacquier De Rosee, Antony ;Massart, Thierry
Editeur scientifique Groote, Jan Friso;Luttik, Sebastiaan Pascal;Van Wamel, Jacobus Johannes
Référence (May 25-26 1998: CWI, Amsterdam, The Netherlands), Proceedings of the third international Workshop on Formal Methods for Industrial Critical Systems, page (231-256)
Publication Publié, 1998

Publication dans des actes

• Accès en ligne
• Détails
• Statistiques

Titre:	A toolset for the analysis of et-lotos specifications
Auteur:	Hernalsteen, Christian; De Jacquier De Rosee, Antony; Massart, Thierry
Editeur scientifique:	Groote, Jan Friso; Luttik, Sebastiaan Pascal; Van Wamel, Jacobus Johannes
Informations sur la publication:	(May 25-26 1998: CWI, Amsterdam, The Netherlands), Proceedings of the third international Workshop on Formal Methods for Industrial Critical Systems, page (231-256)
Statut de publication:	Publié, 1998
Sujet CREF:	Informatique mathématique
Langue:	Anglais
Identificateurs:	urn:isbn:9789061964803