Showing results 1 to 1 of 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