Jason Kulk, James S. Welsh. A NUPlatform for Software on Articulated Mobile Robots. In Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers. Volume 336 of Communications in Computer and Information Science, pages 31-45, Springer, 2011. [doi]
@inproceedings{KulkW11-0,
title = {A NUPlatform for Software on Articulated Mobile Robots},
author = {Jason Kulk and James S. Welsh},
year = {2011},
doi = {10.1007/978-3-642-34781-8_3},
url = {http://dx.doi.org/10.1007/978-3-642-34781-8_3},
researchr = {https://researchr.org/publication/KulkW11-0},
cites = {0},
citedby = {0},
pages = {31-45},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers},
editor = {Reiner Hähnle and Jens Knoop and Tiziana Margaria and Dietmar Schreiner and Bernhard Steffen},
volume = {336},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-3-642-34780-1},
}