%0 Journal Article %1 journals/ijseke/MaCL16 %A Ma, Yan %A Cao, Zining %A Liu, Yang %D 2016 %J International Journal of Software Engineering and Knowledge Engineering %K dblp %N 7 %P 1117-1144 %T Counterexample Generation in Stochastic Model Checking Based on PSO Algorithm with Heuristic. %U http://dblp.uni-trier.de/db/journals/ijseke/ijseke26.html#MaCL16 %V 26

@article{journals/ijseke/MaCL16, added-at = {2019-11-06T00:00:00.000+0100}, author = {Ma, Yan and Cao, Zining and Liu, Yang}, biburl = {https://www.bibsonomy.org/bibtex/21825b76f86048f1cf9d2abff95600a0e/dblp}, ee = {https://doi.org/10.1142/S021819401650039X}, interhash = {458901d2be7a64b408194f86dde1fbe1}, intrahash = {1825b76f86048f1cf9d2abff95600a0e}, journal = {International Journal of Software Engineering and Knowledge Engineering}, keywords = {dblp}, number = 7, pages = {1117-1144}, timestamp = {2019-11-07T11:40:10.000+0100}, title = {Counterexample Generation in Stochastic Model Checking Based on PSO Algorithm with Heuristic.}, url = {http://dblp.uni-trier.de/db/journals/ijseke/ijseke26.html#MaCL16}, volume = 26, year = 2016 }