Browse "RIMS Collection" by Author A.R.Newton
Showing results 1 to 2 of 2
| An Efficient Verifier for Finite-State Machines S.H.Hwang; A.R.Newton, IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, v.10, no.3, pp.326 - 334, 1991-03 |
| Electrical-Logic Simulation and Its Applications Y.H.Kim; S.H.Hwang; A.R.Newton, IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, v.8, no.1, pp.8 - 22, 1989-01 |
Discover
Type
- 4,800 Article
- 3,515 Conference
- 1,492 Patent
Open Access
- 223 OA Article
Date issued
- 1,310 2020 - 2024
- 2,942 2010 - 2019
- 2,339 2000 - 2009
- 1,846 1990 - 1999
- 579 1980 - 1989
- 3 1964 - 1969