Property Based Compression Strategies

Podobne zapisy

• Property−based compression strategies
  od: Zakiuddin, I, i wsp.
  Wydane: (2002)
• Watchdog Transformations for Property−Oriented Model−Checking
  od: Goldsmith, M, i wsp.
  Wydane: (2003)
• Watchdog transformations for property−oriented model−checking
  od: Goldsmith, M, i wsp.
  Wydane: (2003)
• Watchdog transformations for property−oriented model checking
  od: Roscoe, A, i wsp.
  Wydane: (2003)
• Security properties and mechanisms in human−centric computing
  od: Creese, S, i wsp.
  Wydane: (2004)