Nitsche, U. (1998) Verification of Co-Operating Systems and Behaviour Abstraction , GMD Research Series 7, Sankt Augustin, Germany
Record type:
Book
This record has no associated files available for download.
More information
Published date: 1998
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 250536
URI: http://eprints.soton.ac.uk/id/eprint/250536
ISBN: 3-88457-331-4
PURE UUID: b50e27d0-904d-4e0d-89d9-be42fd2b728b
Catalogue record
Date deposited: 04 Aug 1999
Last modified: 10 Dec 2021 20:09
Export record
Contributors
Author:
U. Nitsche
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.