DBLP Record 'conf/pepm/GomezL02'

BibTeX

@inproceedings{DBLP:conf/pepm/GomezL02,
  author    = {Gustavo Gomez and
               Yanhong A. Liu},
  title     = {Automatic time-bound analysis for a higher-order language},
  booktitle = {PEPM},
  year      = {2002},
  pages     = {75-86},
  ee        = {http://doi.acm.org/10.1145/503032.503039},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}