Location of Repository

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

By E.L. Krepska

Abstract

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

Topics: biology, cell modelling, high-performance computing, model checking, concurrent systems, verification, HipG, SpinJadi, TsccDc
Publisher: Amsterdam: Vrije Universiteit
Year: 2012
OAI identifier: oai:dare.ubvu.vu.nl:1871/38206
Provided by: DSpace at VU

Suggested articles

Preview


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.