3 research outputs found

    Towards Executable Biology

    Get PDF
    Heringa, J. [Promotor]Fokkink, W.J. [Promotor]Feenstra, K.A. [Copromotor

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

    Get PDF
    Bal, H.E. [Promotor]Fokkink, W.J. [Promotor]Kielmann, T. [Copromotor
    corecore