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, 273-285.

Download

Full text not available from this repository.

Item Type: Article
ISSNs: 0164-1212
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 250614
Date Deposited: 04 Aug 1999
Last Modified: 27 Mar 2014 19:51
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250614

Actions (login required)

View Item View Item