Parallel and distributed model checking in eddy. volume 3925 of LNCS (2006)

by I Melatti, R Palmer, G Sawaya, Y Yang, R M Kirby, G Gopalakrishnan