Sung-Mook Lim

According to our database, Sung-Mook Lim authored at least 1 paper in 1997.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

1997

Specification and verification of real-time systems using ACSR-VP.

Sung-Mook Lim, Jin-Young Choi

Proceedings of the 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 1997