A Verification Method Based on Homomorphic Model Abstraction
Nitsche, U. (1994) A Verification Method Based on Homomorphic Model Abstraction. Proc. 13th Annual ACM Symp. on Principles of Distributed Computing (PODC) ACM Press, New York, 393.
Download
Full text not available from this repository.
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Additional Information: | Address: Los Angeles, California |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| Item ID: | 253218 |
| Date Deposited: | 03 May 2000 |
| Last Modified: | 01 Mar 2012 10:35 |
| Contributors: | Nitsche, U. (Author) |
| Date: | 1994 |
| Additional Information: | Address: Los Angeles, California |
| Status: | Published |
| Publisher: | ACM Press, New York |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/253218 |
Actions (login required)
 |
View Item |
