TY  - RPRT
TI  - Model Checking with Program Slicing Based on Variable Dependence Graphs
AU  - Masahiro Matsubara
AU  - Kohei Sakurai
AU  - Fumio Narisawa
AU  - Masushi Enshoiwa
AU  - Yoshio Yamane
AU  - Hisamitsu Yamanaka
PY  - 2013
DO  - 10.4204/eptcs.105.5
UR  - https://arxiv.org/abs/1301.0041
ID  - 1301.0041
ER  -