Techniques and tools for the verification of concurrent systems (2012)

First Author: Palikareva Hristina
Attributed to:  CSP Model Checking: New Technology and Techniques funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://ora.ox.ac.uk/objects/uuid:fc2028e1-2a45-459a-afdd-70001893f3d8

Type: Thesis