Optimisation Validation. Aspinall, D., Beringer, L., & Momigliano, A. Electr. Notes Theor. Comput. Sci. (ENTCS), 176(3):37-59, 2007.
Optimisation Validation [link]Paper  bibtex   
@article{ dblp3284955,
  title = {Optimisation Validation},
  author = {David Aspinall and Lennart Beringer and Alberto Momigliano},
  author_short = {Aspinall, D. and Beringer, L. and Momigliano, A.},
  bibtype = {article},
  type = {article},
  year = {2007},
  key = {dblp3284955},
  id = {dblp3284955},
  biburl = {http://www.dblp.org/rec/bibtex/journals/entcs/AspinallBM07},
  url = {http://dx.doi.org/10.1016/j.entcs.2006.06.017},
  journal = {Electr. Notes Theor. Comput. Sci. (ENTCS)},
  pages = {37-59},
  number = {3},
  volume = {176},
  text = {Electr. Notes Theor. Comput. Sci. (ENTCS) 176(3):37-59 (2007)}
}

Downloads: 0