author : M. Kim

Short works

• Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination. 1999. (In FM'99 volume 1 )