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] PDF
Download (145Kb)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: July 2003
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 258214
Date Deposited: 17 Sep 2003
Last Modified: 27 Mar 2014 20:00
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 View Item