Nitsche, Ulrich (1994) A Verification Method Based on Homomorphic Model Abstraction. In PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing. Association for Computing Machinery. p. 393 . (doi:10.1145/197917.198172).
Record type:
Conference or Workshop Item
(Paper)
This record has no associated files available for download.
More information
Published date: 1994
Additional Information:
Address: Los Angeles, California
Venue - Dates:
13th Annual ACM Symposium on Principles of Distributed Computing (PODC'94), , Los Angeles, 1994-08-14 - 1994-08-17
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 252677
URI: http://eprints.soton.ac.uk/id/eprint/252677
PURE UUID: 04ab1134-4beb-4f8f-87a3-30820ff12bc9
Catalogue record
Date deposited: 10 Mar 2000
Last modified: 15 Mar 2024 19:34
Export record
Altmetrics
Contributors
Author:
Ulrich 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.