Pages that link to "Item:Q1014570"

The following pages link to Muck J. Van Weerdenburg (Q1014570):

Displayed 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)