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

Krepska, E.L.

Krepska, E.

VU Research Portal

VU Research PortalTowards Big Biology:Krepska, E.2012document versionPublisher's PDF, also known as Version of recordLink to publication in VU Research Portalcitation for published version (APA)Krepska, E. (2012). Towards Big Biology: high-performance verification of large concurrent systems.General rightsCopyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright ownersand it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights.            • Users may download and print one copy of any publication from the public portal for the purpose of private study or research.            • You may not further distribute the material or use it for any profit-making activity or commercial gain            • You may freely distribute the URL identifying the publication in the public portal ?Take down policyIf you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediatelyand investigate your claim.E-mail address:vuresearchportal.ub@vu.nlDownload date: 26. May. 2021High-performance verificationof large concurrent systems  Elżbieta KrępskaPh.D. ThesisVU University Amsterdam, 2012Towards Big Bi      gylElżbieta KrępskaTowards Big Biology

English

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

DSpace at VU

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

NARCIS 

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

https://research.vu.nl/files/42215105/cover.pdf

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

Abstract

Similar works

Full text

Available Versions

VU Research Portal

DSpace at VU

NARCIS