Husain Aljazzar, Stefan Leue. Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking. IEEE Trans. Software Eng., 36(1):37-60, 2010. [doi]
@article{AljazzarL10, title = {Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking}, author = {Husain Aljazzar and Stefan Leue}, year = {2010}, doi = {10.1109/TSE.2009.57}, url = {http://doi.ieeecomputersociety.org/10.1109/TSE.2009.57}, tags = {model checking, meta-model, Meta-Environment, search}, researchr = {https://researchr.org/publication/AljazzarL10}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Software Eng.}, volume = {36}, number = {1}, pages = {37-60}, }