Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}