Augusto, Juan, Butler, Michael, Ferreira, Carla and Craig, Stephen (2003) Using SPIN and STeP to Verify StAC Specifications. 5th International A.P.Ershov Conference on Perspectives of System Informatics, Novosibirsk, Russia.
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: 2003
Additional Information:
Event Dates: July 2003
Venue - Dates:
5th International A.P.Ershov Conference on Perspectives of System Informatics, Novosibirsk, Russia, 2003-07-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 258214
URI: http://eprints.soton.ac.uk/id/eprint/258214
PURE UUID: 362a7ae7-3dcc-4fe0-a6ad-d8747a369129
Catalogue record
Date deposited: 17 Sep 2003
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
Juan Augusto
Author:
Michael Butler
Author:
Carla Ferreira
Author:
Stephen Craig
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.