Options
1996
Conference Paper
Titel
Verification by behaviour abstraction. A case study of service interaction detection in intelligent telephone networks

Language
English
Tags