The following pages link to Olaf Burkart (Q1377903):
Displaying 11 items.
- Automatic verification of sequential infinite-state processes (Q1377904) (← links)
- Model checking the full modal mu-calculus for infinite sequential processes (Q1960527) (← links)
- (Q2760246) (← links)
- An elementary bisimulation decision procedure for arbitrary context-free processes (Q3569030) (← links)
- (Q4222871) (← links)
- (Q4222875) (← links)
- (Q4223065) (← links)
- (Q4355677) (← links)
- Model checking the full modal mu-calculus for infinite sequential processes (Q4571973) (← links)
- (Q4790409) (← links)
- (Q4847017) (← links)
