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

E. Krepska

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

Original languageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • Bal, H.E., Supervisor
  • Fokkink, W.J., 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

@phdthesis{0b3c6d301f9f40ec935a2958b7373a2f,
title = "Towards Big Biology:: high-performance verification of large concurrent systems",
author = "E. Krepska",
note = "Naam instelling promotie: VU Vrije Universiteit Naam instelling onderzoek: VU Vrije Universiteit",
year = "2012",
language = "English",
school = "Vrije Universiteit Amsterdam",

}

Krepska, E 2012, 'Towards Big Biology: high-performance verification of large concurrent systems', PhD, Vrije Universiteit Amsterdam.

Towards Big Biology: high-performance verification of large concurrent systems. / Krepska, E.

2012.

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

TY - THES

T1 - Towards Big Biology:

T2 - high-performance verification of large concurrent systems

AU - Krepska, E.

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

PY - 2012

Y1 - 2012

M3 - PhD Thesis - Research VU, graduation VU

ER -