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