- Title
- Mobile CSP||B
- Creators
- B VajarS SchneiderH Treharne
- Contributors
- European Association of Software Science and Technology (null)
- Publication Details
- Electronic Communications of the EASST, Vol.23, pp.?-?
- Conference
- 9th International Workshop on Automated Verification of Critical Systems (23/09/2009 - 25/09/2009)
- Date submitted
- 20/08/2011
- Identifiers
- 99511612802346
- Academic Unit
- Department of Computer Science
- Resource Type
- Conference proceeding
Conference proceeding
Mobile CSP||B
Electronic Communications of the EASST, Vol.23, pp.?-?
9th International Workshop on Automated Verification of Critical Systems (23/09/2009 - 25/09/2009)
03/10/2011
Metrics
58 File views/ downloads
31 Record Views