Back to the 2009 catalog

PhD · 2009

Naghmeh Hassanzadeh Ghaffari

Algorithmic Analysis of Infinite-State Systems

Year

2009

Academic unit

Computer Science

Surname

Hassanzadeh Ghaffari

Supervisor

Richard Trefler