![](/img/cover-not-exists.png)
Formal methods for telecommunication system requirements: A survey of standardized languages
Mark A. ArdisVolume:
3
Year:
1997
Language:
english
Pages:
31
DOI:
10.1023/a:1018981703781
File:
PDF, 295 KB
english, 1997