Balakrishnan Kannikeswaran

Publication Activity (10 Years)

Years Active: 1996-1996
Publications (10 Years): 0

Publications

Balakrishnan Kannikeswaran, Radharamanan Radhakrishnan, Peter Frey, Perry Alexander, Philip A. Wilsey
Formal Specification and Verification of the pGVT Algorithm. FME (1996)