Efficient and User-Friendly Verification.

Journal

IEEE Transactions on Computers

Journal Volume

51

Journal Issue

1

Pages

61-83

Date Issued

2002-01

Author(s)

F. Wang

P.-A. Hsiung

DOI

10.1109/12.980017

URI

http://scholars.lib.ntu.edu.tw/handle/123456789/299210

Type

journal article