Marco Montali

Specification and Verification of Declarative Open Interaction Models - A Logic-based framework.
. University of Bologna, Italy, (2009)base-search.net (ftunivbologntesi:oai:amsdottorato.cib.unibo.it:1829).
  •  Doktorvater / Doktormutter:
  •  Erstgutachter_in:
  •  Gutachter_in:
  •  Betreuer_in:
  •  Autor_in: Marco Montali
  •  Herausgeber_in:
  •  Andere:
mehr

Keine Ressourcen gefunden