Login / Signup
Structural Refinement for the Modal nu-Calculus.
Uli Fahrenberg
Axel Legay
Louis-Marie Traonouez
Published in:
CoRR (2014)
Keyphrases
</>
modal logic
structural information
transition systems
case study
refinement process
databases
data model
temporal logic
structural analysis
structural models