Browse "School of Electrical Engineering(전기및전자공학부)" by Subject first-order logic
Showing results 1 to 1 of 1
| Verikube: Automatic and Efficient Verification for Container Network Policies Kang, Haney; Shin, Seungwon, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E105D, no.12, pp.2131 - 2134, 2022-12 |
Discover
Open Access
- 573 OA Article
Date issued
- 5,421 2020 - 2024
- 18,944 2010 - 2019
- 15,019 2000 - 2009
- 7,644 1990 - 1999
- 2,391 1980 - 1989