Derivation of Useful Execution Trees from LOTOS by using an Interpreter - researchr publication

researchr

You are not signed in
Sign in
Sign up

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.

Abstract is missing.

runs on WebDSL