DMCA

Partial Order Trace Analyzer (POTA) for Distributed Programs (2003)

by Alper Sen , Vijay K. Garg
Venue:In Proceedings of the Third Workshop on Runtime Verification (RV
Citations:22 - 6 self