Real-Time Refinement: Semantics and Application.

David Scholefield, Hussein S. M. Zedan, Jifeng He

Browse the full MFCS paper archive.