Theme 4: Methodologies, Models, and Tools
Alberto Sangiovanni-Vincentelli, Sanjit Seshia

Citation
Alberto Sangiovanni-Vincentelli, Sanjit Seshia. "Theme 4: Methodologies, Models, and Tools". Talk or presentation, 15, October, 2013; Read-ahead material for the TerraSwarm Annual Meeting, Berkeley, Nov. 5 & 6, 2013.

Abstract
Read-ahead material that provides an overview of Theme 4: Methodologies, Models, and Tools.

Electronic downloads

Internal. This publication has been marked by the author for TerraSwarm-only distribution, so electronic downloads are not available without logging in.

Citation formats

• HTML

  Alberto Sangiovanni-Vincentelli, Sanjit Seshia. <a
  href="http://www.terraswarm.org/pubs/145.html"><i>Theme
  4: Methodologies, Models, and Tools</i></a>,
  Talk or presentation,  15, October, 2013; Read-ahead
  material for the <a
  href="/conferences/13/annual/index.htm"
  >TerraSwarm Annual Meeting, Berkeley, Nov. 5 & 6,
  2013</a>.

• Plain text

  Alberto Sangiovanni-Vincentelli, Sanjit Seshia. "Theme
  4: Methodologies, Models, and Tools". Talk or
  presentation,  15, October, 2013; Read-ahead material for
  the <a href="/conferences/13/annual/index.htm"
  >TerraSwarm Annual Meeting, Berkeley, Nov. 5 & 6,
  2013</a>.

• BibTeX

  @presentation{SangiovanniVincentelliSeshia13_Theme4MethodologiesModelsTools,
      author = {Alberto Sangiovanni-Vincentelli and Sanjit Seshia},
      title = {Theme 4: Methodologies, Models, and Tools},
      day = {15},
      month = {October},
      year = {2013},
      note = {Read-ahead material for the <a
                href="/conferences/13/annual/index.htm"
                >TerraSwarm Annual Meeting, Berkeley, Nov. 5 \& 6,
                2013</a>.},
      abstract = {Read-ahead material that provides an overview of
                Theme 4: Methodologies, Models, and Tools.},
      URL = {http://terraswarm.org/pubs/145.html}
  }
  

Posted by Christopher Brooks on 15 Oct 2013.
Groups: tools