Login / Signup
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems.
Rocco De Nicola
Alessandro Fantechi
Stefania Gnesi
Gioia Ristori
Published in:
CAV (1991)
Keyphrases
</>
concurrent systems
main contribution
key features
databases
logical framework
neural network
computer vision
information systems
theoretical framework
conceptual framework
key properties