BibTeX records: Victoria Chernyakhovsky

download as .bib file

@inproceedings{DBLP:conf/ipps/ChernyakhovskyFRWAC99,
  author    = {Victoria Chernyakhovsky and
               Peter Frey and
               Radharamanan Radhakrishnan and
               Philip A. Wilsey and
               Perry Alexander and
               Harold W. Carter},
  title     = {A Formal Framework for Specifying and Verifying Time Warp Optimizations},
  booktitle = {{IPPS/SPDP} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {1586},
  pages     = {1228--1242},
  publisher = {Springer},
  year      = {1999}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier