Citation: St. Vuong et al., TESTVAL, A TOOL FOR PROTOCOL TEST VALIDATION AND THE VALIDATION OF A LAPB TEST SUITE AS AN EXAMPLE, Computer communications, 19(9-10), 1996, pp. 804-812
Citation: St. Vuong et Gk. Tsiknis, SIGNIFICANT EVENT TEMPORAL LOGIC - A METHOD FOR PROTOCOL SPECIFICATION AND VERIFICATION, Computer systems science and engineering, 10(1), 1995, pp. 41-49
Citation: St. Vuong et al., TESTGEN - AN ENVIRONMENT FOR PROTOCOL TEST SUITE GENERATION AND SELECTION, Computer communications, 17(4), 1994, pp. 257-270