Verification of Scheme Plans Using CSP $$||$$ | | B.

Journal article

P James, F Moller, HN Nguyen, M Roggenbach, S Schneider, H Treharne, M Trumble and DM Williams

SEFM Workshops, Vol.8368, pp.189-204

2013

Abstract

url

http://dx.doi.org/10.1007/978-3-319-05032-4View

19 Record Views

Title: Verification of Scheme Plans Using CSP $$||$$ | | B.
Creators: P James
F Moller
HN Nguyen
M Roggenbach
S Schneider
H Treharne
M Trumble
DM Williams
Contributors: S Counsell
M Núñez
Publication Details: SEFM Workshops, Vol.8368, pp.189-204
Publisher: Springer
Date published: 2013
Date submitted: 17/05/2017
Identifiers: 99511456502346
Academic Unit: University of Surrey
Resource Type: Journal article