Towards Big Biology: high-performance verification of large concurrent systems

E. Krepska

Research output: PhD ThesisPhD Thesis - Research VU, graduation VU

48 Downloads (Pure)
Original languageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • Bal, HE, Supervisor
  • Fokkink, Wan, Supervisor
  • Kielmann, Thilo, Co-supervisor
Award date5 Sep 2012
Publication statusPublished - 2012

Bibliographical note

Naam instelling promotie: VU Vrije Universiteit
Naam instelling onderzoek: VU Vrije Universiteit

Cite this