Property Based Compression Strategies

Míreanna comhchosúla

• Property−based compression strategies
  de réir: Zakiuddin, I, et al.
  Foilsithe / Cruthaithe: (2002)
• Watchdog Transformations for Property−Oriented Model−Checking
  de réir: Goldsmith, M, et al.
  Foilsithe / Cruthaithe: (2003)
• Watchdog transformations for property−oriented model−checking
  de réir: Goldsmith, M, et al.
  Foilsithe / Cruthaithe: (2003)
• Watchdog transformations for property−oriented model checking
  de réir: Roscoe, A, et al.
  Foilsithe / Cruthaithe: (2003)
• Security properties and mechanisms in human−centric computing
  de réir: Creese, S, et al.
  Foilsithe / Cruthaithe: (2004)