TY  - RPRT
TI  - Logic Verification of Product-Line Variant Requirements
AU  - Shamim Ripon
AU  - Sk. Jahir Hossain
AU  - Keya Azad
AU  - Mehidee Hassan
PY  - 2014
DO  - 10.1109/acseac.2012.14
UR  - https://arxiv.org/abs/1402.5595
ID  - 1402.5595
ER  -