Transformation from LOTOS Specifications to Galileo Nets

• Authors:

• Saturnino Marchena Rodriguez;Gonzalo León

• Affiliations:

• -;-

• Venue:
• Proceedings of the First International Conference on Formal Description Techniques
• Year:
• 1988