1996
Conference Paper
Titel

Verification by behaviour abstraction. A case study of service interaction detection in intelligent telephone networks
Author(s)
Cappellmann, C.
Demant, R.
Galvez-Estrada, R.
Fatahi-Vanani, F.
Nitsche, U.
Ochsenschläger, P.
Hauptwerk
Konferenz
Thumbnail Image
Language
English
Tags