DSpace at KOASAS
College of Natural Sciences(자연과학대학)Dept. of Physics(물리학과)PH-Conference Papers(학술회의논문)

Specification and validation of dynamic systems using temporal logic

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 270
  • Download : 0
Export
Cho, S.M. / Kim, H.H. / Cha, S.D. / Bae, D.H. / Shin, Sung-Chulresearcher
Publisher
MMM
Issue Date
2004-11
Language
ENG
Citation

49th Conference on Magnetism and Magnetic Materials, v.148, no.4, pp.135 - 140

ISSN
1462-5970
URI
http://hdl.handle.net/10203/142898
Appears in Collection
PH-Conference Papers(학술회의논문)
Files in This Item
There are no files associated with this item.

Display Full Item Record

qr_code

  • mendeley

    citeulike

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


rss_1.0 rss_2.0 atom_1.0