BibTeX records: Victoria Chernyakhovsky

download as .bib file

  author    = {Victoria Chernyakhovsky and
               Peter Frey and
               Radharamanan Radhakrishnan and
               Philip A. Wilsey and
               Perry Alexander and
               Harold W. Carter},
  editor    = {Jos{\'{e}} D. P. Rolim and
               Frank Mueller and
               Albert Y. Zomaya and
               Fikret Er{\c{c}}al and
               Stephan Olariu and
               Binoy Ravindran and
               Jan Gustafsson and
               Hiroaki Takada and
               Ronald A. Olsson and
               Laxmikant V. Kal{\'{e}} and
               Peter H. Beckman and
               Matthew Haines and
               Hossam A. ElGindy and
               Denis Caromel and
               Serge Chaumette and
               Geoffrey C. Fox and
               Yi Pan and
               Keqin Li and
               Tao Yang and
               G. Ghiola and
               Gianni Conte and
               Luigi V. Mancini and
               Dominique M{\'{e}}ry and
               Beverly A. Sanders and
               Devesh Bhatt and
               Viktor K. Prasanna},
  title     = {A Formal Framework for Specifying and Verifying Time Warp Optimizations},
  booktitle = {Parallel and Distributed Processing, 11 IPPS/SPDP'99 Workshops Held
               in Conjunction with the 13th International Parallel Processing Symposium
               and 10th Symposium on Parallel and Distributed Processing, San Juan,
               Puerto Rico, USA, April 12-16, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1586},
  pages     = {1228--1242},
  publisher = {Springer},
  year      = {1999},
  url       = {},
  doi       = {10.1007/BFb0098005},
  timestamp = {Fri, 27 Oct 2017 17:06:30 +0200},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
maintained by Schloss Dagstuhl LZI, founded at University of Trier