Citation
Edward A. Lee, Ben Lickly, Jackie Man-Kit Leung, Thomas Mandl, Beth Osyk, Charles Shelton, Stavros Tripakis. "Ensuring Correct Composition of Components using Lattice-based Ontologies". Talk or presentation, 11, October, 2009; WFCD - Foundations and Applications of Component-based Design in Conjunction with ES Week, Grenoble, France, October 11, 2009.

Abstract
(No abstract.)

Electronic downloads

• OntologyPresentation.pdf · application/pdf · 13664 kbytes

• HTML

  Edward A. Lee, Ben Lickly, Jackie Man-Kit Leung, Thomas
  Mandl, Beth Osyk, Charles Shelton, Stavros Tripakis. <a
  href="http://chess.eecs.berkeley.edu/pubs/622.html"
  ><i>Ensuring Correct Composition of Components
  using Lattice-based Ontologies</i></a>, Talk or
  presentation,  11, October, 2009; <i>WFCD -
  Foundations and Applications of Component-based
  Design</i> in Conjunction with ES Week, Grenoble,
  France, October 11, 2009.

• Plain text

  Edward A. Lee, Ben Lickly, Jackie Man-Kit Leung, Thomas
  Mandl, Beth Osyk, Charles Shelton, Stavros Tripakis.
  "Ensuring Correct Composition of Components using
  Lattice-based Ontologies". Talk or presentation,  11,
  October, 2009; <i>WFCD - Foundations and Applications
  of Component-based Design</i> in Conjunction with ES
  Week, Grenoble, France, October 11, 2009.

• BibTeX

  @presentation{LeeLicklyLeungMandlOsykSheltonTripakis09_EnsuringCorrectCompositionOfComponentsUsingLatticebased,
      author = {Edward A. Lee and Ben Lickly and Jackie Man-Kit
                Leung and Thomas Mandl and Beth Osyk and Charles
                Shelton and Stavros Tripakis},
      title = {Ensuring Correct Composition of Components using
                Lattice-based Ontologies},
      day = {11},
      month = {October},
      year = {2009},
      note = {<i>WFCD - Foundations and Applications of
                Component-based Design</i> in Conjunction with ES
                Week, Grenoble, France, October 11, 2009.},
      abstract = {(No abstract.)},
      URL = {http://chess.eecs.berkeley.edu/pubs/622.html}
  }
  

Posted by Mary Stewart on 28 Oct 2009.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.