Model Checking Systems with Replicated Components using CSP (2011)

First Author: Mazur Tomasz Krzysztof
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:6694fac7-00b4-4b25-b054-813d7a6a4cdb

Type: Thesis