Cite
MLA Citation
Sherin Mariam George and U. Sangeetha. “Protocol Testing with Symbolic Execution and Rule Based Specification Using Multicore Approach.” Procedia technology, vol. 24, 2016, pp. 1609–1615. http://access.bl.uk/ark:/81055/vdc_100034090843.0x00004c