Saed Alrabaee, Ahmed Saleh Bataineh, Fawaz Ali Khasawneh, Rachida Dssouli. Using model checking for Trivial File Transfer Protocol validation. In Fourth International Conference on Communications and Networking, ComNet 2014, Hammamet, Tunisia, March 19-22, 2014. pages 1-7, IEEE, 2014. [doi]
@inproceedings{AlrabaeeBKD14,
title = {Using model checking for Trivial File Transfer Protocol validation},
author = {Saed Alrabaee and Ahmed Saleh Bataineh and Fawaz Ali Khasawneh and Rachida Dssouli},
year = {2014},
doi = {10.1109/ComNet.2014.6840934},
url = {https://doi.org/10.1109/ComNet.2014.6840934},
researchr = {https://researchr.org/publication/AlrabaeeBKD14},
cites = {0},
citedby = {0},
pages = {1-7},
booktitle = {Fourth International Conference on Communications and Networking, ComNet 2014, Hammamet, Tunisia, March 19-22, 2014},
publisher = {IEEE},
isbn = {978-1-4799-3762-2},
}