Restrictiveness
Related papers: 1
Top Researchers
Top Cited Papers
Using Formal Modeling With an Automated Analysis Tool to Design and Parametrically Analyze a Multirobot Coordination Protocol: A Case Study
Joel M. Esposito, Moonzoo Kim
Citations: 8 • 2007