3 research outputs found
Towards Executable Biology
Heringa, J. [Promotor]Fokkink, W.J. [Promotor]Feenstra, K.A. [Copromotor
Towards Big Biology: high-performance verification of large concurrent systems
Bal, H.E. [Promotor]Fokkink, W.J. [Promotor]Kielmann, T. [Copromotor