DMCA

Parallel and distributed model checking in eddy (2006)

by I. Melatti , R. Palmer , G. Sawaya , Y. Yang , R. M. Kirby , G. Gopalakrishnan
Venue:In Proceedings of the SPIN Workshop, 2006
Citations:15 - 8 self