Cited By
View all- Nejati FGhani AYap NJafaar A(2021)Handling State Space Explosion in Component-Based Software Verification: A ReviewIEEE Access10.1109/ACCESS.2021.30817429(77526-77544)Online publication date: 2021
- Renault E(2020)Improving swarming using genetic algorithmsInnovations in Systems and Software Engineering10.1007/s11334-020-00362-7Online publication date: 2-Jun-2020
- Milewicz RPoulding S(2018)Scalable Parallel Model Checking via Monte-Carlo Tree SearchACM SIGSOFT Software Engineering Notes10.1145/3149485.314949542:4(1-5)Online publication date: 11-Jan-2018
- Show More Cited By