Shoham Ben-David

Own Thesis
Related Theses

Applications of Description Logic and Causality in Model Checking.

S. Ben-David. University of Waterloo, Ontario, Canada, (2009)base-search.net (ftunivwaterloo:oai:uwspace.uwaterloo.ca:10012/4485).

Doctoral advisor:
First reviewer:

Reviewer:
Advisor:
Author: Shoham Ben-David
Editor:
Other:

No resources found

sort by
added at
title
author
publication date
entry type