The following pages link to (Q2703706):
Displayed 12 items.
- Maude (Q18367) (← links)
- Formal modeling and validation of a power-efficient grouping protocol for WSNs (Q444471) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Reflection in conditional rewriting logic (Q1608918) (← links)
- A Maude specification of an object-oriented model for telecommunication networks (Q1608922) (← links)
- Actor theories in rewriting logic (Q1608923) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- (Q2703692) (← links)
- (Q2851051) (← links)
- (Q2851059) (← links)
- Two Decades of Maude (Q2945709) (← links)
- Rocket-Fast Proof Checking for SMT Solvers (Q5458346) (← links)