✦ LIBER ✦
Using Formal Modeling With an Automated Analysis Tool to Design and Parametrically Analyze a Multirobot Coordination Protocol: A Case Study
✍ Scribed by Esposito, J.M.; Moonzoo Kim
- Book ID
- 117937516
- Publisher
- IEEE
- Year
- 2007
- Tongue
- English
- Weight
- 540 KB
- Volume
- 37
- Category
- Article
- ISSN
- 1083-4427
No coin nor oath required. For personal study only.