Treffer: Parallel Saturation Based Model Checking

Title:
Parallel Saturation Based Model Checking
Authors:
Voros, Andr´s, Szabo, Tam´s, J´mbor, Attila, Darvas, D´niel, Horv´th, Akos, Bartha, Tam´s
Source:
2011 10th International Symposium on Parallel and Distributed Computing Parallel and Distributed Computing (ISPDC), 2011 10th International Symposium on. :94-101 Jul, 2011
Relation:
2011 10th International Symposium on Parallel and Distributed Computing (ISPDC)
Database:
IEEE Xplore Digital Library