Showing results 1 to 2 of 2
AN IMPROVED ALGORITHM FOR PROTOCOL VALIDATION BY EXTENDED CIRCULAR EXPLORATION GONG, JC; KIM, BM; Yoon, Hyunsoo; Lee, Heung-Kyu; HWANG, SY, MICROPROCESSING AND MICROPROGRAMMING, v.36, no.4, pp.179 - 194, 1993-09 |
COMBINING MANY-SORTED LOGIC AND OBJECT-ORIENTED PROGRAMMING KIM, BM; RYU, KY; Maeng, SeungRyoul; Cho, Jung Wan, INFORMATION AND SOFTWARE TECHNOLOGY, v.35, no.4, pp.241 - 253, 1993-04 |
Discover