Gopal N. Rai, G. R. Gangadharan. Model Checking Based Web Service Verification: A Systematic Literature Review. IEEE T. Services Computing, 14(3):747-764, 2021. [doi]
@article{RaiG21,
title = {Model Checking Based Web Service Verification: A Systematic Literature Review},
author = {Gopal N. Rai and G. R. Gangadharan},
year = {2021},
doi = {10.1109/TSC.2018.2845401},
url = {https://doi.org/10.1109/TSC.2018.2845401},
researchr = {https://researchr.org/publication/RaiG21},
cites = {0},
citedby = {0},
journal = {IEEE T. Services Computing},
volume = {14},
number = {3},
pages = {747-764},
}