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