Citation
Jonathan Sprinkle, Christopher Brooks. "CHESS 2006-2007 Annual Report". Technical report, Center for Hybrid and Embedded Software Systems, June, 2007.

Abstract
This is a draft of the fifth Annual Report for the NSF Large ITR on Foundations of Hybrid and Embedded Systems and Software. This year generally saw a great deal of synergy among various researchers. This research activity is primarily organized through CHESS at the University of California, Berkeley (Center for Hybrid and Embedded Systems and Software, http://chess.eecs.berkeley.edu), ISIS at Vanderbilt University (Institute for Software Integrated Systems, http://www.isis.vanderbilt.edu), and the Department of Mathematical Sciences, (http://msci.memphis.edu) at the University of Memphis.

Electronic downloads

• http://chess.eecs.berkeley.edu/projects/ITR/2007/CHESSAnnualReport0607.pdf

• HTML

  Jonathan Sprinkle, Christopher Brooks. <a
  href="http://chess.eecs.berkeley.edu/pubs/335.html"
  ><i>CHESS 2006-2007 Annual
  Report</i></a>, Technical report,  Center for
  Hybrid and Embedded Software Systems, June, 2007.

• Plain text

  Jonathan Sprinkle, Christopher Brooks. "CHESS 2006-2007
  Annual Report". Technical report,  Center for Hybrid
  and Embedded Software Systems, June, 2007.

• BibTeX

  @techreport{SprinkleBrooks07_CHESS20062007AnnualReport,
      author = {Jonathan Sprinkle and Christopher Brooks},
      title = {CHESS 2006-2007 Annual Report},
      institution = {Center for Hybrid and Embedded Software Systems},
      month = {June},
      year = {2007},
      abstract = {This is a draft of the fifth Annual Report for the
                NSF Large ITR on Foundations of Hybrid and
                Embedded Systems and Software. This year generally
                saw a great deal of synergy among various
                researchers. This research activity is primarily
                organized through CHESS at the University of
                California, Berkeley (Center for Hybrid and
                Embedded Systems and Software,
                http://chess.eecs.berkeley.edu), ISIS at
                Vanderbilt University (Institute for Software
                Integrated Systems,
                http://www.isis.vanderbilt.edu), and the
                Department of Mathematical Sciences,
                (http://msci.memphis.edu) at the University of
                Memphis.},
      URL = {http://chess.eecs.berkeley.edu/pubs/335.html}
  }
  

Posted by Christopher Brooks on 19 Jun 2007.
Groups: chess
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.