![](/img/cover-not-exists.png)
[IEEE 2005 Proceedings of the 8th International Conference on Telecommunications - Zagreb, Croatia (2005.6.15-2005.6.17)] Proceedings of the 8th International Conference on Telecommunications, 2005. ConTEL 2005. - Introduction to the special session on formal verification of telecommunications systems
Kapus, T., Jezic, G.Year:
2005
Language:
english
DOI:
10.1109/contel.2005.185967
File:
PDF, 111 KB
english, 2005