Faranak Nejati, Abdul Azim Abdul Ghani, Keng-Yap Ng, Azmi Bin Jafaar. Handling State Space Explosion in Component-Based Software Verification: A Review. IEEE Access, 9:77526-77544, 2021. [doi]
@article{NejatiGNJ21, title = {Handling State Space Explosion in Component-Based Software Verification: A Review}, author = {Faranak Nejati and Abdul Azim Abdul Ghani and Keng-Yap Ng and Azmi Bin Jafaar}, year = {2021}, doi = {10.1109/ACCESS.2021.3081742}, url = {https://doi.org/10.1109/ACCESS.2021.3081742}, researchr = {https://researchr.org/publication/NejatiGNJ21}, cites = {0}, citedby = {0}, journal = {IEEE Access}, volume = {9}, pages = {77526-77544}, }