- Title
- Introducing mobility into CSP||B
- Creators
- SA SchneiderH TreharneB Vajar
- Conference
- 7th International Workshop on Automated Verification of Critical Systems (Oxford, UK, 10/09/2007 - 12/09/2007)
- Date submitted
- 20/08/2011
- Identifiers
- 99511335702346
- Academic Unit
- Department of Computer Science
- Resource Type
- Conference proceeding
Conference proceeding
Introducing mobility into CSP||B
7th International Workshop on Automated Verification of Critical Systems (Oxford, UK, 10/09/2007 - 12/09/2007)
30/09/2011
Metrics
69 File views/ downloads
32 Record Views