Bibtex:

@inproceedings{ckyclock03,
  AUTHOR    = { Clarke, Edmund
                and Kroening, Daniel
                and Yorav, Karen },
  TITLE     = { Specifying and Verifying Systems with Multiple Clocks },
  BOOKTITLE = { Proc.\ of the 2003 International Conference on Computer Design (ICCD) },
  YEAR      = { 2003 },
  PUBLISHER = { IEEE },
  PAGES     = { 48--55 },
  MONTH     = { October },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.