Login / Signup

A fast method of protocol validation using reduced stable state exploration technique.

W. S. HsiehT. S. NainM. S. YangC. S. LuK. C. HuangJ. R. Tseng
Published in: Microprocessing and Microprogramming (1991)
Keyphrases