Author:
Clarke Duncan,Jéron Thierry,Rusu Vlad,Zinovieva Elena
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. 3GPP. Third Generation Partnership Project (
http://www.3gpp.org
).
2. A. Belinfante, J. Feenstra, R. de Vries, J. Tretmans, N. Goga, L. Feijs, and S. Mauw. Formal test automation: a simple experiment. In International Workshop on the Testing of Communication Systems (IWTCS’99), pages 179–196, 1999.
3. CEPSCO. Common Electronic Purse Specifications, Technical Specification (
http://www.cepsco.org
), May 2000.
4. Lect Notes Comput Sci;D. Clarke,2001
5. E. R. Gansner and S. C. North. An open graph visualization system and its applications to software engineering. Software: Practice and Experience, 30(11):1203–1233, September 2000.
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献