The following pages link to Bernhard Kragl (Q2225106):
Displayed 7 items.
- Refinement for structured concurrent programs (Q2225107) (← links)
- Tree Interpolation in Vampire (Q2870125) (← links)
- Faster Algorithms for Weighted Recursive State Machines (Q2988644) (← links)
- Extensional Crisis and Proving Identity (Q3457789) (← links)
- (Q5009435) (← links)
- (Q5874206) (← links)
- Layered concurrent programs (Q6044999) (← links)