Shoham Ben-David

Applications of Description Logic and Causality in Model Checking.
. University of Waterloo, Ontario, Canada, (2009)base-search.net (ftunivwaterloo:oai:uwspace.uwaterloo.ca:10012/4485).
  •  Doktorvater / Doktormutter:
  •  Erstgutachter_in:
  •  Gutachter_in:
  •  Betreuer_in:
  •  Autor_in: Shoham Ben-David
  •  Herausgeber_in:
  •  Andere:
mehr

Keine Ressourcen gefunden