Citation
Alex Aiken, Tom Henzinger, Edward A. Lee, David G. Messerschmitt, George Necula, Alberto Sangiovanni-Vincentelli, S. 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

Citation formats

• HTML

  Alex Aiken, Tom Henzinger, Edward A. Lee, David G.
  Messerschmitt, George Necula, Alberto
  Sangiovanni-Vincentelli, S. 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, S. 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 S. 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..

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.