Computer aided analysis of pattern formation in a semi-ratio-dependent predator-prey model | IEEE Conference Publication | IEEE Xplore