TY  - RPRT
TI  - PKind: A parallel k-induction based model checker
AU  - Temesghen Kahsai
AU  - Cesare Tinelli
PY  - 2011
DO  - 10.4204/eptcs.72.6
UR  - https://arxiv.org/abs/1111.0372
ID  - 1111.0372
ER  -