Zheng Yuhua

Publication Activity (10 Years)

Years Active: 1994-1997
Publications (10 Years): 0

Publications

Raymond Reiter, Zheng Yuhua
Scheduling in the Situation Calculus: A Case Study. Ann. Math. Artif. Intell. 21 (2-4) (1997)
Zheng Yuhua, Chaochen Zhou
A Formal Proof of the Deadline Driven Scheduler. FTRTFT (1994)