Pages that link to "Item:Q3433808"

The following pages link to Jan-Willem Roorda (Q3433808):

Displaying 5 items.

• Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics (Q3434722) (← links)
• A Faithful Semantics for Generalised Symbolic Trajectory Evaluation (Q3636800) (← links)
• Iterated Belief Change in Multi-Agent Systems (Q4408525) (← links)
• Correct Hardware Design and Verification Methods (Q5493230) (← links)
• Formal Methods for Hardware Verification (Q5899153) (← links)