![](/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. - Predicate abstraction in protocol verification
Pek, E., Bogunovic, N.Year:
2005
Language:
english
DOI:
10.1109/contel.2005.185971
File:
PDF, 257 KB
english, 2005