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]
No references recorded for this publication.
No citations of this publication recorded.