Citation
Slobodan Matic, Tom Henzinger. "An Interface Algebra for Real-Time Components". Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.

Abstract
(No abstract.)

Electronic downloads

• MaticPoster.ppt · application/vnd.ms-powerpoint · 2921 kbytes

• HTML

  Slobodan Matic, Tom Henzinger. <a
  href="http://chess.eecs.berkeley.edu/pubs/25.html"
  ><i>An Interface Algebra for Real-Time
  Components</i></a>, Talk or presentation,  23,
  February, 2006; Presented in conjunction with BEARS 2006.

• Plain text

  Slobodan Matic, Tom Henzinger. "An Interface Algebra
  for Real-Time Components". Talk or presentation,  23,
  February, 2006; Presented in conjunction with BEARS 2006.

• BibTeX

  @presentation{MaticHenzinger06_InterfaceAlgebraForRealTimeComponents,
      author = {Slobodan Matic and Tom Henzinger},
      title = {An Interface Algebra for Real-Time Components},
      day = {23},
      month = {February},
      year = {2006},
      note = {Presented in conjunction with BEARS 2006.},
      abstract = {(No abstract.)},
      URL = {http://chess.eecs.berkeley.edu/pubs/25.html}
  }
  

Posted by Jonathan Sprinkle on 27 Feb 2006.
Groups: chess
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.