Leuschel, Michael (2005) Guest Editorial - Special Issue on Automated Verification of Critical Systems. Formal Aspects of Computing, (17), 91-92. (doi:10.1007/s00165-005-0069-6).
Record type:
Article
This record has no associated files available for download.
More information
Published date: August 2005
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 261199
URI: http://eprints.soton.ac.uk/id/eprint/261199
PURE UUID: d0fe5155-16fa-418b-a3dc-f43124f5c13b
Catalogue record
Date deposited: 07 Sep 2005
Last modified: 14 Mar 2024 06:50
Export record
Altmetrics
Contributors
Author:
Michael Leuschel
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.