Application of Formal Verification and Behaviour Abstraction to the Service Interaction Problem in Intelligent Networks
Nitsche, U. (1998) Application of Formal Verification and Behaviour Abstraction to the Service Interaction Problem in Intelligent Networks. J. of Systems and Software, 40, (3), 227-248.
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 |
| Item ID: | 250535 |
| Date Deposited: | 04 Aug 1999 |
| Last Modified: | 01 Mar 2012 10:19 |
| Contributors: | Nitsche, U. (Author) |
| Date: | March 1998 |
| Status: | Published |
| Further Information: | Google Scholar |
| ISI Citation Count: | 1 |
| URI: | http://eprints.soton.ac.uk/id/eprint/250535 |
Actions (login required)
 |
View Item |
