![](/img/cover-not-exists.png)
[ACM Press the 3rd international workshop - Leipzig, Germany (2008.05.11-2008.05.11)] Proceedings of the 3rd international workshop on Automation of software test - AST '08 - A generic formal framework for protocol interoperability test and test cases minimization
Zhong, Ning, He, Zun-wen, Kuang, Jing-mingYear:
2008
Language:
english
DOI:
10.1145/1370042.1370055
File:
PDF, 283 KB
english, 2008