DSpace at KOASAS
Browsing DSpace

Browse "CS-Conference Papers(학술회의논문)" by Author Yoo, Byung Kyu

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 1 of 1

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

rss_1.0 rss_2.0 atom_1.0