The following pages link to Detlef Kähler (Q2726354):
Displaying 8 items.
- (Q2726355) (← links)
- Deciding strategy properties of contract-signing protocols (Q2946605) (← links)
- Complementation, Disambiguation, and Determinization of Büchi Automata Unified (Q3521961) (← links)
- A Dolev-Yao-Based Definition of Abuse-Free Protocols (Q3591450) (← links)
- Motor algebra approach for computing the kinematics of robot manipulators (Q4509398) (← links)
- Computer Science Logic (Q5292642) (← links)
- STACS 2005 (Q5710671) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897486) (← links)
