*banner
 

Quantitative Verification and Synthesis of Systems
Sanjit Seshia

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

Citation formats  
  • 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.

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.

©2002-2018 Chess