The following pages link to Michael Katelman (Q1931910):
Displayed 4 items.
- Rewriting semantics of production rule sets (Q1931912) (← links)
- A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis (Q2873774) (← links)
- Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits (Q4933283) (← links)
- vlogsl: A Strategy Language for Simulation-Based Verification of Hardware (Q5391526) (← links)