Verification and Behaviour Abstraction Towards a Tractable Verification Technique for Large Distributed Systems


Nitsche, U. (1996) Verification and Behaviour Abstraction Towards a Tractable Verification Technique for Large Distributed Systems J. of Systems and Software, 33, pp. 273-285.

Download

Full text not available from this repository.

Item Type: Article
Organisations: Electronics & Computer Science
ePrint ID: 250614
Date :
Date Event
1996Published
Date Deposited: 04 Aug 1999
Last Modified: 18 Apr 2017 00:19
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250614

Actions (login required)

View Item View Item