Back to the 2016 catalog

PhD · 2016

Amirhossein Vakili

Temporal Logic Model Checking as Automated Theorem Proving

Year

2016

Academic unit

Computer Science

Surname

Vakili

Supervisor

Nancy Day