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