Eva Navarro Lopez - Research output - Research Explorer The University of Manchester

1 results

Filter

2013

Verification of liveness properties on hybrid dynamical systems
Navarro Lopez, E. & Carter, R., May 2013, University of Manchester. 214 p.
Research output: Thesis › Doctoral Thesis