Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

[RPW+03]  Certifying optimality of state estimation programs

LeuCAV:03 (In proceedings)
Author(s)Roşu, Grigore and Prasad Venkatesan, Ram and Whittle, Jon and Leuştean, Laurenţiu
Title« Certifying optimality of state estimation programs »
InComputer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003
SeriesLecture Notes in Computer Science
Editor(s)Hunt Jr., Warren A. and Somenzi, Fabio
Volume2725
Page(s)301--314
Year2003
PublisherSpringer

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

 Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

Submit a bug

This document was generated by bib2html 6.7.
Copyright © 1998-2011 Stephane GALLAND (under the GNU General Public License)

Valid HTML 4.01!Valid CSS!