Case Study: Service Interaction Detection by Formal Verification under Behaviour Abstraction


Capellmann, C., Demant, R., Galvez-Estrada, R., Nitsche, U. and Ochsenschläger, P., (1996) Case Study: Service Interaction Detection by Formal Verification under Behaviour Abstraction Margaria, T. (ed.) At Proc. 1st Int. Workshop on Advanced Intelligent Networks (AIN). , pp. 71-90.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (Other)
Additional Information: Address: Passau, Germany
Venue - Dates: Proc. 1st Int. Workshop on Advanced Intelligent Networks (AIN), 1996-03-01
Organisations: Electronics & Computer Science
ePrint ID: 250581
Date :
Date Event
March 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/250581

Actions (login required)

View Item View Item