Improving Saturation-based Bounded Model Checking
| Cím | Improving Saturation-based Bounded Model Checking |
| Közlemény típusa | Journal Article |
| Kiadás éve | 2016 |
| Szerzők | Darvas, D., Vörös, A., and Bartha, T. |
| Folyóirat | Acta Cybernetica |
| Kötet | 22 |
| Kiadás | 3 |
| Pagination | 573-589 |
| Kiadás dátuma | 2016 |
| ISSN | 0324-721X |
| URL | http://www.inf.u-szeged.hu/actacybernetica/edb/vol22n3/pdf/actacyb_22_3_2016_2.pdf |
| DOI | 10.14232/actacyb.22.3.2016.2 |
| Refereed Designation | Refereed |
