UniForM

swMATH10332MaRDI QIDQ22293FDOQ22293

Author name not available (Why is that?)

Cited In (6)

• Axiomatisation and decidability of multi-dimensional Duration Calculus
• CASL: the Common Algebraic Specification Language.
• The Causal Graph Revisited for Directed Model Checking
• Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy
• Transition-Based Directed Model Checking
• Events in Haskell, and how to implement them

This page was built for software: UniForM