A Verification Method Based on Homomorphic Model Abstraction


Nitsche, Ulrich (1994) A Verification Method Based on Homomorphic Model Abstraction At Proceedings of the 13th Annual ACM Symposium on Principles of Distributed Computing (PODC'94). , p. 393.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (Other)
Additional Information: Address: Los Angeles
Venue - Dates: Proceedings of the 13th Annual ACM Symposium on Principles of Distributed Computing (PODC'94), 1994-01-01
Organisations: Electronics & Computer Science
ePrint ID: 252677
Date :
Date Event
1994Published
Date Deposited: 10 Mar 2000
Last Modified: 17 Apr 2017 23:31
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/252677

Actions (login required)

View Item View Item