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]
No references recorded for this publication.
No citations of this publication recorded.