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 At 5th International A.P.Ershov Conference on Perspectives of System Informatics.

This is the latest version of this item.

Download

[img] PDF psi2003.pdf - Other
Download (148kB)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: July 2003
Venue - Dates: 5th International A.P.Ershov Conference on Perspectives of System Informatics, 2003-07-01
Organisations: Electronic & Software Systems
ePrint ID: 258214
Date :
Date Event
2003Published
Date Deposited: 17 Sep 2003
Last Modified: 17 Apr 2017 22:46
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