Cited in
(9)- Axiomatisation and decidability of multi-dimensional Duration Calculus
- CASL: the Common Algebraic Specification Language.
- Abstractions and pattern databases: the quest for succinctness and accuracy
- ToolBus
- FranTk
- DCVALID
- The Causal Graph Revisited for Directed Model Checking
- Transition-Based Directed Model Checking
- Events in Haskell, and how to implement them
This page was built for software: UniForM
