DMCA

Symmetry Reduction and Heuristic Search for Error Detection in Model Checking

by Alberto Lluch Lafuente
Citations:4 - 0 self