Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan A. Mandal, Kunal Banerjee, Krishnam Raju Duddu. A Path Construction Algorithm for Translation Validation Using PRES+ Models. Parallel Processing Letters, 26(2):1-25, 2016. [doi]
Abstract is missing.