Parallel Saturation Based Model Checking
| Title | Parallel Saturation Based Model Checking |
| Publication Type | Conference Paper |
| Year of Publication | 2011 |
| Authors | Vörös, A., Bartha, T., Darvas, D., Szabó, T., Jámbor, A., and Horváth, Á. |
| Conference Name | The 10th International Symposium on Parallel and Distributed Computing (ISPDC 2011) |
| Date Published | 07/2011 |
| Publisher | IEEE Computer Society |
| Conference Location | Cluj Napoca |
| ISBN Number | 978-1-4577-1536-5 |
| URL | http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6108260 |
| DOI | 10.1109/ISPDC.2011.23 |
