| Sarikaya B., Protocol Test Generation, Trace Analysis, and Verification Techniques, Proceedings of Second Workshop on Software Testing, Verification, and Analysis (TAVS-2), IEEE Computer Society Press, pp. 123-30, July 1988. |
No context found.
Sarikaya B., Protocol Test Generation, Trace Analysis, and Verification Techniques, Proceedings of Second Workshop on Software Testing, Verification, and Analysis (TAVS-2), IEEE Computer Society Press, pp. 123-30, July 1988.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC