UniForM
From MaRDI portal
Software:22293
No author found.
Related Items (6)
Axiomatisation and decidability of multi-dimensional Duration Calculus ⋮ Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy ⋮ Events in Haskell, and how to implement them ⋮ Transition-Based Directed Model Checking ⋮ The Causal Graph Revisited for Directed Model Checking ⋮ CASL: the Common Algebraic Specification Language.
This page was built for software: UniForM
