Marc Fontaine

Ein Modelchecker für CSP-M.
. Heinrich Heine University Düsseldorf, (2012)
  •  Doktorvater / Doktormutter:
  •  Erstgutachter_in:
  •  Gutachter_in:
  •  Betreuer_in:
  •  Autor_in: Marc Fontaine
  •  Herausgeber_in:
  •  Andere:
mehr

Keine Ressourcen gefunden