Matti Järvisalo

Structure-based satisfiability checking : analyzing and harnessing the potential.
. Helsinki University of Technology, Finland, (2008)base-search.net (ftaaltouniv:oai:aaltodoc.aalto.fi:123456789/4551).
  •  Doktorvater / Doktormutter:
  •  Erstgutachter_in:
  •  Gutachter_in:
  •  Betreuer_in:
  •  Autor_in: Matti Järvisalo
  •  Herausgeber_in:
  •  Andere:
mehr

Keine Ressourcen gefunden