DBLP Record 'conf/sac/BonenfantCHMWW07'

BibTeX

@inproceedings{DBLP:conf/sac/BonenfantCHMWW07,
  author    = {Armelle Bonenfant and
               Zezhi Chen and
               Kevin Hammond and
               Greg Michaelson and
               Andrew M. Wallace and
               Iain Wallace},
  title     = {Towards resource-certified software: a formal cost model
               for time and its application to an image-processing example},
  booktitle = {SAC},
  year      = {2007},
  pages     = {1307-1314},
  ee        = {http://doi.acm.org/10.1145/1244002.1244285},
  crossref  = {DBLP:conf/sac/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sac/2007,
  editor    = {Yookun Cho and
               Roger L. Wainwright and
               Hisham Haddad and
               Sung Y. Shin and
               Yong Wan Koo},
  title     = {Proceedings of the 2007 ACM Symposium on Applied Computing
               (SAC), Seoul, Korea, March 11-15, 2007},
  booktitle = {SAC},
  publisher = {ACM},
  year      = {2007},
  isbn      = {1-59593-480-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}