Linking Semantic Models to Support CSP || B Consistency Checking.

Journal article

Linking Semantic Models to Support CSP || B Consistency Checking.

N Evans and H Treharne

Electr. Notes Theor. Comput. Sci., Vol.145, pp.201-217

2006

DOI: https://doi.org/10.1016/j.entcs.2005.10.013

Abstract

Metrics

13 Record Views

1 Times Cited - Web of Science

Details

Title: Linking Semantic Models to Support CSP || B Consistency Checking.
Creators: N Evans
H Treharne
Publication Details: Electr. Notes Theor. Comput. Sci., Vol.145, pp.201-217
Date published: 2006
Date submitted: 17/05/2017
Identifiers: 99511676202346
Academic Unit: University of Surrey
Resource Type: Journal article