Login / Signup

Preservation of LTL properties in desynchronized systems.

Yu BaiJens BrandtKlaus Schneider
Published in: MEMOCODE (2012)
Keyphrases
  • distributed systems
  • data sets
  • domain independent
  • databases
  • neural network
  • information systems
  • expert systems
  • description logics
  • computer systems
  • desirable properties