Nisha Pal, Dharmendra Kumar-Yadav. Formally modeling and verifying a software component retrieval system using mCRL2. Int. J. Systems Assurance Engineering and Management, 14(6):2485-2496, December 2023. [doi]
@article{PalY23-0,
title = {Formally modeling and verifying a software component retrieval system using mCRL2},
author = {Nisha Pal and Dharmendra Kumar-Yadav},
year = {2023},
month = {December},
doi = {10.1007/s13198-023-02098-6},
url = {https://doi.org/10.1007/s13198-023-02098-6},
researchr = {https://researchr.org/publication/PalY23-0},
cites = {0},
citedby = {0},
journal = {Int. J. Systems Assurance Engineering and Management},
volume = {14},
number = {6},
pages = {2485-2496},
}