%0 Journal Article %1 journals/jifs/YasrebiRPN20 %A Yasrebi, Mohammad %A Rafe, Vahid %A Parvin, Hamid %A Nejatian, Samad %D 2020 %J J. Intell. Fuzzy Syst. %K dblp %N 2 %P 1761-1773 %T An efficient approach to state space management in model checking of complex software systems using machine learning techniques. %U http://dblp.uni-trier.de/db/journals/jifs/jifs38.html#YasrebiRPN20 %V 38

@article{journals/jifs/YasrebiRPN20, added-at = {2020-04-25T00:00:00.000+0200}, author = {Yasrebi, Mohammad and Rafe, Vahid and Parvin, Hamid and Nejatian, Samad}, biburl = {https://www.bibsonomy.org/bibtex/28487f43b9b93d90b66e8ee9fbc4f5007/dblp}, ee = {https://doi.org/10.3233/JIFS-190023}, interhash = {36a0ff2c0cf22a6aa4b3d67f88fa8267}, intrahash = {8487f43b9b93d90b66e8ee9fbc4f5007}, journal = {J. Intell. Fuzzy Syst.}, keywords = {dblp}, number = 2, pages = {1761-1773}, timestamp = {2020-04-28T11:40:58.000+0200}, title = {An efficient approach to state space management in model checking of complex software systems using machine learning techniques.}, url = {http://dblp.uni-trier.de/db/journals/jifs/jifs38.html#YasrebiRPN20}, volume = 38, year = 2020 }