Omitola, Temitope and Greaves, David J (2003) Computer Aided Proof of Desirable Properties of Home Area Networks Using Automated Reasoning Tools. Programming Language De- sign and Implementation 2003 (PLDI’03).
Record type:
Conference or Workshop Item
(Paper)
This record has no associated files available for download.
More information
Published date: 2003
Venue - Dates:
Programming Language De- sign and Implementation 2003 (PLDI’03), 2003-01-01
Organisations:
Web & Internet Science
Identifiers
Local EPrints ID: 272018
URI: http://eprints.soton.ac.uk/id/eprint/272018
PURE UUID: 44b0977b-b856-4674-afdf-0a703f0aa157
Catalogue record
Date deposited: 12 Feb 2011 20:58
Last modified: 10 Dec 2021 23:29
Export record
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.