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)