Login / Signup
On topological hierarchies of temporal properties.
Christel Baier
Marta Z. Kwiatkowska
Published in:
Partial Order Methods in Verification (1996)
Keyphrases
</>
temporal properties
model checking
possibility theory
formal methods
topological properties
hierarchical structure
cooperative
natural language
general purpose
life cycle
temporal logic
formal specification