Using SPIN and STeP to Verify StAC Specifications
Augusto, Juan, Butler, Michael, Ferreira, Carla and Craig, Stephen (2003) Using SPIN and STeP to Verify StAC Specifications. In, 5th International A.P.Ershov Conference on Perspectives of System Informatics, Novosibirsk, Russia,
This is the latest version of this item.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (145Kb) |
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Event Dates: July 2003 |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 258214 |
| Date Deposited: | 17 Sep 2003 |
| Last Modified: | 02 Mar 2012 12:58 |
| Contributors: | Augusto, Juan (Author) Butler, Michael (Author) Ferreira, Carla (Author) Craig, Stephen (Author) |
| Date: | 2003 |
| Additional Information: | Event Dates: July 2003 |
| Status: | Published |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/258214 |
Available Versions of this Item
- Using SPIN and STeP to Verify StAC Specifications. (deposited 17 Sep 2003) [Currently Displayed]
Actions (login required)
 |
View Item |
