TY  - RPRT
TI  - Handling state space explosion in verification of component-based systems: A review
AU  - Faranak Nejati
AU  - Abdul Azim Abd. Ghani
AU  - Ng Keng Yap
AU  - Azmi Jaafar
PY  - 2021
DO  - 10.1109/access.2021.3081742
UR  - https://arxiv.org/abs/1709.10379
ID  - 1709.10379
ER  -