Transformation from LOTOS Specifications to Galileo Nets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Saturnino Marchena Rodriguez, Gonzalo León. Transformation from LOTOS Specifications to Galileo Nets. 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 217-230, North-Holland, 1988.

This author has not been identified. Look up 'Saturnino Marchena Rodriguez' in GoogleThis author has not been identified. Look up 'Gonzalo León' in Google

runs on WebDSL