ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project

Pierre de Saqui-Sannes, Jean-Pierre Courtiat. ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project. In Kenneth J. Turner, editor, Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988. pages 15-29, North-Holland, 1988.