DSpace at KOASAS
Browsing DSpace

Browse "PH-Conference Papers(학술회의논문)" by Author Kim, H.H.

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
Specification and validation of dynamic systems using temporal logic

Cho, S.M.; Kim, H.H.; Cha, S.D.; Bae, D.H.; Shin, Sung-Chul, 49th Conference on Magnetism and Magnetic Materials, v.148, no.4, pp.135 - 140, MMM, 2004-11

Discover

rss_1.0 rss_2.0 atom_1.0