Property Based Compression Strategies

Схожие документы

• Property−based compression strategies
  по: Zakiuddin, I, и др.
  Опубликовано: (2002)
• Watchdog Transformations for Property−Oriented Model−Checking
  по: Goldsmith, M, и др.
  Опубликовано: (2003)
• Watchdog transformations for property−oriented model−checking
  по: Goldsmith, M, и др.
  Опубликовано: (2003)
• Watchdog transformations for property−oriented model checking
  по: Roscoe, A, и др.
  Опубликовано: (2003)
• Security properties and mechanisms in human−centric computing
  по: Creese, S, и др.
  Опубликовано: (2004)