Options
On the Verification of State Coding in STGs
Resource
International Conference on Computer Aided Design, Santa Clara, CA(1992.11)
Proceedings of International Conference on Computer Aided Design, p.118-122
Journal
International Conference on Computer Aided Design, Santa Clara, CA(1992.11)
Pages
-
Date Issued
1992
Date
1992
Author(s)
Lin, Chen-Shang
Type
conference paper