The following pages link to (Q5089038):
Displaying 7 items.
- Strategies, model checking and branching-time properties in Maude (Q2239275) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Simulating and model checking membrane systems using strategies in Maude (Q2667188) (← links)
- Metalevel transformation of strategies (Q2667189) (← links)
- The Maude strategy language (Q6113021) (← links)
- QMaude: quantitative specification and verification in rewriting logic (Q6174537) (← links)
- An Overview of the Maude Strategy Language and its Applications (Q6487295) (← links)