The following pages link to Eli Singerman (Q1295435):
Displaying 7 items.
- Computation paths logic: An expressive, yet elementary, process logic (Q1295436) (← links)
- More on nonregular PDL: Finite models and Fibonacci-like programs (Q1923105) (← links)
- GSTE is partitioned model checking (Q2385196) (← links)
- (Q4472249) (← links)
- Computation paths logic: An expressive, yet elementary, process logic (Q4571972) (← links)
- Computer Aided Verification (Q5312902) (← links)
- Computer Aided Verification (Q5716558) (← links)
