DMCA

Discovering Architectural Mismatch in Distributed Event-based Systems using Software Model Checking ∗ (2006)

by L. Ruhai Cai , Jeremy S. Bradbury , Juergen Dingel
Citations:1 - 0 self