Carla Capellmann, Ralph Demant, Farhad Fatahi-Vanani, Rafael Galvez-Estrada, Ulrich Nitsche, Peter Ochsenschläger. Verification by Behaviour Abstraction - A Case Study of Service Interaction Detection in Intelligent Telephone Networks. In Rajeev Alur, Thomas A. Henzinger, editors, Computer Aided Verification, 8th International Conference, CAV 96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings. Volume 1102 of Lecture Notes in Computer Science, pages 466-469, Springer, 1996.
Abstract is missing.