Sravanthi, D. (2013). Model Checking of E-Commerce Protocol using Casper FDR. International Journal of Advanced Research in Computer Science, 4(10), 12.
Chicago Style (17th ed.) CitationSravanthi, Dantuluri. "Model Checking of E-Commerce Protocol Using Casper FDR." International Journal of Advanced Research in Computer Science 4, no. 10 (2013): 12.
MLA (9th ed.) CitationSravanthi, Dantuluri. "Model Checking of E-Commerce Protocol Using Casper FDR." International Journal of Advanced Research in Computer Science, vol. 4, no. 10, 2013, p. 12.
Warning: These citations may not always be 100% accurate.