Augusto, Juan Carlos and Gómez, Rodolfo (2003) A procedure to translate Paradigm Specifications to Propositional Linear Temporal Logic and its application to verification. International Journal of Software Engineering and Knowledge Engineering.
Record type:
Article
This record has no associated files available for download.
More information
Published date: 2003
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 257689
URI: http://eprints.soton.ac.uk/id/eprint/257689
PURE UUID: c0a4af8b-35b7-4f27-ba51-48682daf9b25
Catalogue record
Date deposited: 14 Jun 2003
Last modified: 08 Jan 2022 17:39
Export record
Contributors
Author:
Juan Carlos Augusto
Author:
Rodolfo Gómez
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.