LETOS -- A Lightweight ExecutionTool for Operational Semantics
LETOS -- A Lightweight ExecutionTool for Operational Semantics
1379-1416
Hartel, P. H.
debf0597-4832-4eb3-8243-177b5a3c44cf
September 1999
Hartel, P. H.
debf0597-4832-4eb3-8243-177b5a3c44cf
Hartel, P. H.
(1999)
LETOS -- A Lightweight ExecutionTool for Operational Semantics.
Software: Practice and Experience, 29 (15), .
This record has no associated files available for download.
More information
Published date: September 1999
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 250556
URI: http://eprints.soton.ac.uk/id/eprint/250556
ISSN: 0038-0644
PURE UUID: c36ec604-ce15-4ae7-bed7-9b5127e71ccf
Catalogue record
Date deposited: 02 Mar 2000
Last modified: 08 Jan 2022 08:45
Export record
Contributors
Author:
P. H. Hartel
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.
View more statistics