Browse "RIMS Journal Papers" by Subject LOGIC
Showing results 1 to 3 of 3
| 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 |
| Dissipative soliton dynamics in a discrete magnetic nano-dot chain Lee, Kyeong-Dong; You, Chun-Yeol; Song, Hyon-Seok; Park, Byong Guk; Shin, Sung-Chul, APPLIED PHYSICS LETTERS, v.104, no.5, pp.052416 - 052416-5, 2014-02 |
| Formal development of an operation monitoring and control system for nuclear reactors using Event-B method Kim, Jihun; Park, Moon-Ghu, INTERNATIONAL JOURNAL OF ENERGY RESEARCH, v.44, no.10, pp.8170 - 8180, 2020-08 |
Discover
Type
- 4,794 Article
Open Access
- 223 OA Article
Date issued
- 1,010 2020 - 2024
- 1,493 2010 - 2019
- 1,145 2000 - 2009
- 763 1990 - 1999
- 299 1980 - 1989
- 3 1964 - 1969