Login / Signup
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