Parallel Saturation Based Model Checking
| Cím | Parallel Saturation Based Model Checking |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2011 |
| Szerzők | Vörös, A., Bartha, T., Darvas, D., Szabó, T., Jámbor, A., and Horváth, Á. |
| Konferencia neve | The 10th International Symposium on Parallel and Distributed Computing (ISPDC 2011) |
| Kiadás dátuma | 07/2011 |
| Kiadó | IEEE Computer Society |
| Konferencia helyszíne | Cluj Napoca |
| ISBN-szám | 978-1-4577-1536-5 |
| URL | http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6108260 |
| DOI | 10.1109/ISPDC.2011.23 |
