Pages that link to "Item:Q5089038"

The following pages link to (Q5089038):

Displaying 5 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)