Zheng Yuhua

According to our database, Zheng Yuhua authored at least 2 papers between 1994 and 1997.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

1997

Scheduling in the Situation Calculus: A Case Study.

Raymond Reiter, Zheng Yuhua

Ann. Math. Artif. Intell., 1997

1994

A Formal Proof of the Deadline Driven Scheduler.

Zheng Yuhua, Chaochen Zhou

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994