Real-Time Refinement: Semantics and Application

• Authors:

• David Scholefield;Hussein S. M. Zedan;Jifeng He

• Affiliations:

• -;-;-

• Venue:
• MFCS '93 Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science
• Year:
• 1993