The following pages link to Muck J. Van Weerdenburg (Q1014570):
Displaying 7 items.
- Search algorithms for automated validation (Q1014571) (← links)
- Structural Operational Semantics with First-Order Logic (Q2810690) (← links)
- Automating Soundness Proofs (Q2810691) (← links)
- An Account of Implementing Applicative Term Rewriting (Q2866805) (← links)
- Action Abstraction in Timed Process Algebra (Q3508533) (← links)
- (Q3614665) (← links)
- From μCRL to mCRL2 (Q5262965) (← links)
