L. Ruhai Cai

According to our database, L. Ruhai Cai authored at least 1 paper in 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking.

L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Dingel

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007