Published in
Springer, Lecture Notes in Computer Science, p. 189-204, 2014
DOI: 10.1007/978-3-319-05032-4_15
Links
Tools
Verification of Scheme Plans Using CSP $||$ | | B
Book chapter published in 2014 by
Philip James,
Faron Moller,
Hoang Nga Nguyen,
Markus Roggenbach,
Steve Schneider,
Helen Treharne,
Matthew Trumble,
David Williams
This paper is available in a repository.
Full text: Download
Preprint: archiving forbidden
Published version:
archiving forbidden
Data provided by 