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

Evans, N and Treharne, H (2006) Linking Semantic Models to Support CSP || B Consistency Checking. Electr. Notes Theor. Comput. Sci., 145. pp. 201-217.

Full text not available from this repository.

Item Type:	Article
Divisions :	Surrey research (other units)
Authors :	Name Email ORCID Evans, N Treharne, H h.treharne@surrey.ac.uk
Date :	2006
DOI :	10.1016/j.entcs.2005.10.013
Depositing User :	Symplectic Elements
Date Deposited :	17 May 2017 11:26
Last Modified :	24 Jan 2020 20:50
URI:	http://epubs.surrey.ac.uk/id/eprint/831382

Actions (login required)

View Item

Downloads