• 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

Fichier(s) déposé(s) par l'encodeur