Browse "School of Computing(전산학부)" by Author Yoo, Byung Kyu
Showing results 1 to 1 of 1
| Applying Model Checking to Concurrent Object-Oriented Software Cho, Seung Mo; Bae, Doo-Hwan; Cha, Sungdeok; Kim, Yuoung Gon; Yoo, Byung Kyu; Kim, Sang Taek, Fourth International Symposium on AUtonomous Decentralized Systems, pp.380 - 383, IEEE, 1999-03 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,774 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989