The following pages link to Wieger Wesselink (Q672480):
Displaying 12 items.
- Interactive design of constrained variational curves (Q672481) (← links)
- (Q3384882) (← links)
- Liveness Analysis for Parameterised Boolean Equation Systems (Q3457791) (← links)
- Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS (Q3510806) (← links)
- Static Analysis Techniques for Parameterised Boolean Equation Systems (Q3617762) (← links)
- Realizability Criteria for Compositional MSC (Q3623938) (← links)
- (Q4895780) (← links)
- EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas (Q4982077) (← links)
- Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems (Q5164176) (← links)
- Abstraction in Fixpoint Logic (Q5277894) (← links)
- An Overview of the mCRL2 Toolset and Its Recent Advances (Q5326326) (← links)
- On-the-fly solving for symbolic parity games (Q6535612) (← links)
