- Title
- Abstraction and Testing in CSP.
- Creators
- S Schneider
- Publication Details
- Formal Aspects of Computing, Vol.12(3), pp.165-181
- Publisher
- Springer
- Date published
- 2000
- Date submitted
- 17/05/2017
- Identifiers
- 99516159502346
- Academic Unit
- University of Surrey
- Resource Type
- Journal article
Journal article
Abstraction and Testing in CSP.
Formal Aspects of Computing, Vol.12(3), pp.165-181
2000
Metrics
24 Record Views