Passage-End Analysis for Analysing Robot Movement

Allan Clark, Adam Duguid, Stephen Gilmore. Passage-End Analysis for Analysing Robot Movement. In Martin Wirsing, Matthias M. Hölzl, editors, Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Volume 6582 of Lecture Notes in Computer Science, pages 506-521, Springer, 2011. [doi]

Authors

Allan Clark

This author has not been identified. Look up 'Allan Clark' in Google

Adam Duguid

This author has not been identified. Look up 'Adam Duguid' in Google

Stephen Gilmore

This author has not been identified. Look up 'Stephen Gilmore' in Google