Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives

Rui Wang, Wanwei Liu, Tun Li, Xiaoguang Mao, Ji Wang. Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives. J. Applied Mathematics, 2013, 2013. [doi]

Abstract

Abstract is missing.