The following pages link to UniForM (Q22293):
Displaying 6 items.
- Axiomatisation and decidability of multi-dimensional Duration Calculus (Q868026) (← links)
- CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
- Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy (Q3000659) (← links)
- The Causal Graph Revisited for Directed Model Checking (Q3392922) (← links)
- Transition-Based Directed Model Checking (Q3617760) (← links)
- Events in Haskell, and how to implement them (Q5178006) (← links)