author : Chris George

Short works

• An Operational Semantics for Timed RAISE. 1999. (In FM'99 volume 2 )
• Scheduling and Rescheduling of Trains. 1999. (In Industrial-Strength Formal Methods in Practice )