TY  - RPRT
TI  - Linear Encodings of Bounded LTL Model Checking
AU  - Armin Biere
AU  - Keijo Heljanko
AU  - Tommi Junttila
AU  - Timo Latvala
AU  - Viktor Schuppan
PY  - 2006
DO  - 10.2168/lmcs-2(5:5)2006
UR  - https://arxiv.org/abs/cs/0611029
ID  - cs/0611029
ER  -