The following pages link to (Q3034805):
Displaying 5 items.
- Verifying the correctness of parallel logical control algorithms (Q1111014) (← links)
- Parallel logical control algorithms: Verification and hardware implementation (Q1388090) (← links)
- Parallel Repetition of Computationally Sound Protocols Revisited (Q3596374) (← links)
- On the correctness of orphan management algorithms (Q4302795) (← links)
- (Q4947306) (← links)