Karsten Scheibler

Applying CDCL to verification and test: when laziness pays off.
. University of Freiburg, Freiburg im Breisgau, Germany, (2017)
  •  Doktorvater / Doktormutter:
  •  Erstgutachter_in:
  •  Gutachter_in:
  •  Betreuer_in:
  •  Autor_in: Karsten Scheibler
  •  Herausgeber_in:
  •  Andere:
mehr

Keine Ressourcen gefunden