%0 Journal Article %1 journals/isci/WangMHW10 %A Wang, Shuaiqiang %A Ma, Jun %A He, Qiang %A Wan, Jiancheng %D 2010 %J Inf. Sci. %K dblp %N 20 %P 3894-3913 %T Formal behavior modeling and effective automatic refinement. %U http://dblp.uni-trier.de/db/journals/isci/isci180.html#WangMHW10 %V 180

@article{journals/isci/WangMHW10, added-at = {2018-01-19T00:00:00.000+0100}, author = {Wang, Shuaiqiang and Ma, Jun and He, Qiang and Wan, Jiancheng}, biburl = {https://www.bibsonomy.org/bibtex/2e07fa3c5d7202aed89ba0ddf2b001980/dblp}, ee = {https://doi.org/10.1016/j.ins.2010.06.024}, interhash = {7be21e96fda05eecfef5ee3201df7897}, intrahash = {e07fa3c5d7202aed89ba0ddf2b001980}, journal = {Inf. Sci.}, keywords = {dblp}, number = 20, pages = {3894-3913}, timestamp = {2018-01-20T11:35:28.000+0100}, title = {Formal behavior modeling and effective automatic refinement.}, url = {http://dblp.uni-trier.de/db/journals/isci/isci180.html#WangMHW10}, volume = 180, year = 2010 }