@inproceedings{RosPraWhiLeuL:03,
  volume = 2725,
  title = {Certifying optimality of state estimation programs},
  year = 2003,
  booktitle = {Computer Aided Verification, 15th International Conference, CAV
               2003, Boulder, CO, USA, July 8-12, 2003},
  editor = {Hunt Jr., Warren A. and Somenzi, Fabio},
  pages = {301--314},
  publisher = {Springer },
  author = {Ro\c su, Grigore and Prasad Venkatesan, Ram and Whittle, Jon and
            Leu\c stean, Lauren\c tiu},
  series = {Lecture Notes in Computer Science},
}