Computer Aided Proof of Desirable Properties of Home Area Networks Using Automated Reasoning Tools
Omitola, Temitope and Greaves, David J (2003) Computer Aided Proof of Desirable Properties of Home Area Networks Using Automated Reasoning Tools. In, Programming Language De- sign and Implementation 2003 (PLDI’03)
Download
Full text not available from this repository.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Web & Internet Science |
| Item ID: | 272018 |
| Date Deposited: | 12 Feb 2011 20:58 |
| Last Modified: | 02 Mar 2012 14:05 |
| Contributors: | Omitola, Temitope (Author) Greaves, David J (Author) |
| Date: | 2003 |
| Status: | Published |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/272018 |
Actions (login required)
 |
View Item |
