![](/img/cover-not-exists.png)
Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives
Wang, Rui, Liu, Wanwei, Li, Tun, Mao, Xiaoguang, Wang, JiVolume:
2013
Year:
2013
Language:
english
Journal:
Journal of Applied Mathematics
DOI:
10.1155/2013/462532
File:
PDF, 303 KB
english, 2013