The following pages link to Peter Ochsenschläger (Q673347):
Displayed 8 items.
- Approximately satisfied properties of systems and simple language homomorphisms (Q673348) (← links)
- On termination and phase changes in the presence of unreliable communication (Q1069696) (← links)
- Item:Q673347 (redirect page) (← links)
- The sh-verification tool -- abstraction-based verification of co-operating systems (Q1295873) (← links)
- (Q3339298) (← links)
- Abstraction and composition: a verification method for co-operating systems (Q4783359) (← links)
- (Q5691265) (← links)
- Abstractions Preserving Parameter Confidentiality (Q5862673) (← links)