![](/img/cover-not-exists.png)
Temporal Modelling and Verification of Multi-Robot Concurrent Activities
Raza Kazmi, Syed Asad, Naeem, Ayesha, Qasim, AwaisVolume:
9
Language:
english
Journal:
Indian Journal of Science and Technology
DOI:
10.17485/ijst/2016/v9i48/96047
Date:
January, 2017
File:
PDF, 360 KB
english, 2017