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

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.

This author has not been identified. Look up 'Renaud Guillemot' in GoogleThis author has not been identified. Look up 'Luigi Logrippo' in Google

runs on WebDSL