Introducing mobility into CSP||B
Tools
Tools
Tools
Schneider, SA, Treharne, H and Vajar, B Introducing mobility into CSP||B In: 7th International Workshop on Automated Verification of Critical Systems, 2007-09-10 - 2007-09-12, Oxford, UK.
![[img]](/style/images/fileicons/application_pdf.png)
| PDF - Accepted Version Available under License : See the attached licence file. 150Kb | |
![[img]](/style/images/fileicons/text_plain.png) | Plain Text (licence) 1516b |
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Divisions: | Faculty of Engineering and Physical Sciences > Computing Science |
| ID Code: | 7216 |
| Deposited By: | Symplectic Elements |
| Deposited On: | 30 Sep 2011 15:53 |
| Last Modified: | 24 Jan 2013 15:45 |
Document Downloads
Repository Staff Only: item control page