Watchdog transformations for property−oriented model−checking

Slični predmeti

• Watchdog Transformations for Property−Oriented Model−Checking
  od: Goldsmith, M, i dr.
  Izdano: (2003)
• Watchdog transformations for property−oriented model checking
  od: Roscoe, A, i dr.
  Izdano: (2003)
• Property Based Compression Strategies
  od: Zakiuddin, I, i dr.
  Izdano: (2002)
• Property−based compression strategies
  od: Zakiuddin, I, i dr.
  Izdano: (2002)
• Watchdogging the watchdog
  od: Mansor Ahmad Saman.
  Izdano: (2008)