The University of Southampton
University of Southampton Institutional Repository

Computer Aided Proof of Desirable Properties of Home Area Networks Using Automated Reasoning Tools

Computer Aided Proof of Desirable Properties of Home Area Networks Using Automated Reasoning Tools
Computer Aided Proof of Desirable Properties of Home Area Networks Using Automated Reasoning Tools
Omitola, Temitope
1c60a885-5485-4676-8907-d657c22d5f58
Greaves, David J
7a9f4113-44ac-4df1-abc2-b11fd2e9d85b
Omitola, Temitope
1c60a885-5485-4676-8907-d657c22d5f58
Greaves, David J
7a9f4113-44ac-4df1-abc2-b11fd2e9d85b

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

Contributors

Author: David J Greaves

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×