Showing results 2 to 2 of 2
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multirobot Coordination Alur, Rajeev; Esposito, Joel M.; Kim, Moonzoo; Kumar, Vijay; Lee, Insup, World Congress on Formal Methods, pp.212 - 232, World Congress on Formal Methods, 1999-09-20 |
Discover