- Title
- Mobile CSP||B.
- Creators
- B VajarS SchneiderH Treharne
- Publication Details
- AVOCS'09, Vol.ECEASS
- Conference
- Automated Verification of Critical Systems
- Date published
- 2009
- Identifiers
- 99516054802346
- Academic Unit
- University of Surrey; School of Computer Science and Electronic Engineering
- Resource Type
- Conference proceeding
Conference proceeding
Mobile CSP||B.
AVOCS'09, Vol.ECEASS
Automated Verification of Critical Systems
2009
Metrics
22 Record Views