Citation
Alex Aiken, Tom Henzinger, Edward A. Lee, David G. Messerschmitt, George Necula, Alberto Sangiovanni-Vincentelli, Shankar Sastry, Pravin Varaiya. "Center for Hybrid and Embedded Software Systems". Talk or presentation, 4, September, 2007.

Abstract
(No abstract.)

Electronic downloads

• http://chess.eecs.berkeley.edu/publications/talks/02/researchfair9-4.pdf

• HTML

  Alex Aiken, Tom Henzinger, Edward A. Lee, David G.
  Messerschmitt, George Necula, Alberto
  Sangiovanni-Vincentelli, Shankar Sastry, Pravin Varaiya.
  <a
  href="http://chess.eecs.berkeley.edu/pubs/372.html"
  ><i>Center for Hybrid and Embedded Software
  Systems</i></a>, Talk or presentation,  4,
  September, 2007.

• Plain text

  Alex Aiken, Tom Henzinger, Edward A. Lee, David G.
  Messerschmitt, George Necula, Alberto
  Sangiovanni-Vincentelli, Shankar Sastry, Pravin Varaiya.
  "Center for Hybrid and Embedded Software Systems".
  Talk or presentation,  4, September, 2007.

• BibTeX

  @presentation{AikenHenzingerLeeMesserschmittNeculaSangiovanniVincentelli07_CenterForHybridEmbeddedSoftwareSystems,
      author = {Alex Aiken and Tom Henzinger and Edward A. Lee and
                David G. Messerschmitt and George Necula and
                Alberto Sangiovanni-Vincentelli and Shankar Sastry
                and Pravin Varaiya},
      title = {Center for Hybrid and Embedded Software Systems},
      day = {4},
      month = {September},
      year = {2007},
      abstract = {(No abstract.)},
      URL = {http://chess.eecs.berkeley.edu/pubs/372.html}
  }
  

Posted by Mary Stewart on 23 Oct 2007.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.