Victoria Chernyakhovsky

Publication Activity (10 Years)

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

Publications

Victoria Chernyakhovsky, Peter Frey, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander, Harold W. Carter
A Formal Framework for Specifying and Verifying Time Warp Optimizations. IPPS/SPDP Workshops (1999)