The following pages link to (Q4222999):
Displayed 4 items.
- Specification of real-time and hybrid systems in rewriting logic (Q1608921) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool (Q5403085) (← links)