TY  - RPRT
TI  - Tarmo: A Framework for Parallelized Bounded Model Checking
AU  - Siert Wieringa
AU  - Matti Niemenmaa
AU  - Keijo Heljanko
PY  - 2009
DO  - 10.4204/eptcs.14.5
UR  - https://arxiv.org/abs/0912.2552
ID  - 0912.2552
ER  -