MOMENT2
From MaRDI portal
Software:21999
swMATH10025MaRDI QIDQ21999FDOQ21999
Author name not available (Why is that?)
Cited In (9)
- The rewriting logic semantics project: a progress report
- Twenty years of rewriting logic
- An algebraic semantics for MOF
- Graph Transformation for Domain-Specific Discrete Event Time Simulation
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude
- Timed CTL Model Checking in Real-Time Maude
- The Rewriting Logic Semantics Project: A Progress Report
- On the Behavioral Semantics of Real-Time Domain Specific Visual Languages
- PTL: a model transformation language based on logic programming
This page was built for software: MOMENT2
