%0 Journal Article %1 journals/jam/WangLLMW13 %A Wang, Rui %A Liu, Wanwei %A Li, Tun %A Mao, Xiaoguang %A Wang, Ji %D 2013 %J J. Appl. Math. %K dblp %P 462532:1-462532:12 %T Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives. %U http://dblp.uni-trier.de/db/journals/jam/jam2013.html#WangLLMW13 %V 2013

@article{journals/jam/WangLLMW13, added-at = {2020-07-16T00:00:00.000+0200}, author = {Wang, Rui and Liu, Wanwei and Li, Tun and Mao, Xiaoguang and Wang, Ji}, biburl = {https://www.bibsonomy.org/bibtex/211c49ecf1a0e602f1c255ad5138c1915/dblp}, ee = {https://www.wikidata.org/entity/Q59006099}, interhash = {729c34451781c038237b623aa1d9c621}, intrahash = {11c49ecf1a0e602f1c255ad5138c1915}, journal = {J. Appl. Math.}, keywords = {dblp}, pages = {462532:1-462532:12}, timestamp = {2020-07-24T00:19:28.000+0200}, title = {Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives.}, url = {http://dblp.uni-trier.de/db/journals/jam/jam2013.html#WangLLMW13}, volume = 2013, year = 2013 }