Verification by Behavior Abstraction: A Case Study of Service Interaction Detection in Intelligent Telephone Networks


Capellmann, C., Demant, R., Fatahi-Vanani, F., Galvez-Estrada, R., Nitsche, U. and Ochsenschläger, P. (1996) Verification by Behavior Abstraction: A Case Study of Service Interaction Detection in Intelligent Telephone Networks At Proc. 8th Int. Conf. Computer Aided Verification (CAV), LNCS 1102. , pp. 466-469.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (Other)
Additional Information: Address: New Brunswick, NJ
Venue - Dates: Proc. 8th Int. Conf. Computer Aided Verification (CAV), LNCS 1102, 1996-01-01
Organisations: Electronics & Computer Science
ePrint ID: 250582
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/250582

Actions (login required)

View Item View Item