Back to the 2009 catalog

PhD · 2009

Shoham Ben-David

Applications of Description Logic and Causality in Model Checking

Year

2009

Academic unit

Computer Science

Surname

Ben-David

Supervisor

Richard Trefler