Renaud Guillemot, Luigi Logrippo. Derivation of Useful Execution Trees from LOTOS by using an Interpreter. 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 311-325, North-Holland, 1988.
No references recorded for this publication.
No citations of this publication recorded.