Verification by Behaviour Abstraction - A Case Study of Service Interaction Detection in Intelligent Telephone Networks.

Carla Capellmann, Ralph Demant, Farhad Fatahi-Vanani, Rafael Galvez-Estrada, Ulrich Nitsche, Peter Ochsenschlger

Browse the full CAV paper archive.