Citation
Ben Lickly, Stavros Tripakis. "Interface Theories in Ptolemy II". Talk or presentation, 11, February, 2010; Poster presented at the 2010 Berkeley EECS Annual Research Symposium (BEARS).

Abstract
(No abstract.)

Electronic downloads

• bears_2010_poster.ppt · application/vnd.ms-powerpoint · 1732 kbytes

• HTML

  Ben Lickly, Stavros Tripakis. <a
  href="http://chess.eecs.berkeley.edu/pubs/658.html"><i>Interface
  Theories in Ptolemy II</i></a>, Talk or
  presentation,  11, February, 2010; Poster presented at the
  2010 <a
  href="http://www.eecs.berkeley.edu/BEARS"
  >Berkeley EECS Annual Research Symposium
  (BEARS)</a>.

• Plain text

  Ben Lickly, Stavros Tripakis. "Interface Theories in
  Ptolemy II". Talk or presentation,  11, February, 2010;
  Poster presented at the 2010 <a
  href="http://www.eecs.berkeley.edu/BEARS"
  >Berkeley EECS Annual Research Symposium
  (BEARS)</a>.

• BibTeX

  @presentation{LicklyTripakis10_InterfaceTheoriesInPtolemyII,
      author = {Ben Lickly and Stavros Tripakis},
      title = {Interface Theories in Ptolemy II},
      day = {11},
      month = {February},
      year = {2010},
      note = {Poster presented at the 2010 <a
                href="http://www.eecs.berkeley.edu/BEARS"
                >Berkeley EECS Annual Research Symposium
                (BEARS)</a>.},
      abstract = {(No abstract.)},
      URL = {http://chess.eecs.berkeley.edu/pubs/658.html}
  }
  

Posted by Ben Lickly on 12 Feb 2010.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.