Citation
Sanjit Seshia. "Quantitative Verification and Synthesis of Systems". Talk or presentation, 18, August, 2010; Presented at the Strategic Directions in Software at Scale (SaS), Berkeley, CA. .

Abstract
(No abstract.)

Electronic downloads

• Seshia.pdf · application/pdf · 263 kbytes

• HTML

  Sanjit Seshia. <a
  href="http://chess.eecs.berkeley.edu/pubs/691.html"
  ><i>Quantitative Verification and Synthesis of
  Systems</i></a>, Talk or presentation,  18,
  August, 2010; Presented at the <a
  href="http://chess.eecs.berkeley.edu/conferences/10/SDISAS/index.htm">Strategic
  Directions in Software at Scale (SaS)</a>, Berkeley,
  CA.
  .

• Plain text

  Sanjit Seshia. "Quantitative Verification and Synthesis
  of Systems". Talk or presentation,  18, August, 2010;
  Presented at the <a
  href="http://chess.eecs.berkeley.edu/conferences/10/SDISAS/index.htm">Strategic
  Directions in Software at Scale (SaS)</a>, Berkeley,
  CA.
  .

• BibTeX

  @presentation{Seshia10_QuantitativeVerificationSynthesisOfSystems,
      author = {Sanjit Seshia},
      title = {Quantitative Verification and Synthesis of Systems},
      day = {18},
      month = {August},
      year = {2010},
      note = {Presented at the <a
                href="http://chess.eecs.berkeley.edu/conferences/10/SDISAS/index.htm">Strategic
                Directions in Software at Scale (SaS)</a>,
                Berkeley, CA.
  },
      abstract = {(No abstract.)},
      URL = {http://chess.eecs.berkeley.edu/pubs/691.html}
  }
  

Posted by Mary Stewart on 24 Aug 2010.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.