DMCA

Can Saturation be parallelised? On the parallelisation of a symbolic state-space generator (2006)

by Jonathan Ezekiel , Radu Siminiceanu
Venue:In Parallel and Distributed Methods in Verification, LNCS
Citations:5 - 3 self