Preservation of LTL properties in desynchronized systems.

Yu Bai Jens Brandt Klaus 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