L. Ruhai Cai

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Dingel
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking. FMOODS (2007)