Optimal Synthesis of Insertion Functions for Opacity Enforcement
Yi-Chin Wu, Stephane Lafortune

Citation
Yi-Chin Wu, Stephane Lafortune. "Optimal Synthesis of Insertion Functions for Opacity Enforcement". Talk or presentation, 30, October, 2014.

Abstract
(No abstract.)

Electronic downloads

Internal. This publication has been marked by the author for TerraSwarm-only distribution, so electronic downloads are not available without logging in.

Citation formats

• HTML

  Yi-Chin Wu, Stephane Lafortune. <a
  href="http://www.terraswarm.org/pubs/449.html"
  ><i>Optimal Synthesis of Insertion Functions for
  Opacity Enforcement</i></a>, Talk or
  presentation,  30, October, 2014.

• Plain text

  Yi-Chin Wu, Stephane Lafortune. "Optimal Synthesis of
  Insertion Functions for Opacity Enforcement". Talk or
  presentation,  30, October, 2014.

• BibTeX

  @presentation{WuLafortune14_OptimalSynthesisOfInsertionFunctionsForOpacityEnforcement,
      author = {Yi-Chin Wu and Stephane Lafortune},
      title = {Optimal Synthesis of Insertion Functions for
                Opacity Enforcement},
      day = {30},
      month = {October},
      year = {2014},
      abstract = {(No abstract.)},
      URL = {http://terraswarm.org/pubs/449.html}
  }
  

Posted by Yi-Chin Wu on 6 Nov 2014.
Groups: services