home
>
book reviews
> Insup Lee
Google >
Insup Lee
author : Insup Lee
Short works
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination. 1999.
(In
FM'99 volume 1
)