Browse "School of Electrical Engineering(전기및전자공학부)" by Subject symbolic model checking
Showing results 1 to 1 of 1
| SAT-based unbounded symbolic model checking Kang, HJ; Park, In-Cheol, IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, v.24, no.2, pp.129 - 140, 2005-02 |
Discover
Open Access
- 573 OA Article
Date issued
- 4,865 2020 - 2024
- 18,943 2010 - 2019
- 15,019 2000 - 2009
- 7,644 1990 - 1999
- 2,391 1980 - 1989