Dimitra Giannakopoulou

Model checking for concurrent software architectures.
. Imperial College London, UK, (1999)British Library, EThOS.
  •  Doktorvater / Doktormutter:
  •  Erstgutachter_in:
mehr

Keine Ressourcen gefunden