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 Sciences and Engineering > Electronics and Computer Science
ePrint ID: 253218
Date Deposited: 03 May 2000
Last Modified: 27 Mar 2014 19:55
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/253218

Actions (login required)

View Item View Item