The following pages link to Brent T. Hailpern (Q1159975):
Displayed 7 items.
- (Q1064052) (redirect page) (← links)
- Script: A communication abstraction mechanism and its verification (Q1064053) (← links)
- Verifying concurrent processes using temporal logic (Q1159976) (← links)
- A Simple Protocol Whose Proof Isn't (Q3688294) (← links)
- (Q3700808) (← links)
- (Q3700822) (← links)
- (Q4115336) (← links)