Article,
CSP2Turtle: Verified Turtle Robot Plans.
D. MacConville, M. Farrell, M. Luckcuck, and R. Monahan.Robotics, 12 (2): 62 (April 2023)
Meta data
- BibTeX key
- journals/robotics/MacConvilleFLM23
- entry type
- article
- year
- 2023
- month
- April
- journal
- Robotics
- number
- 2
- pages
- 62
- volume
- 12
- ee
- https://www.wikidata.org/entity/Q120718137
- url
- http://dblp.uni-trier.de/db/journals/robotics/robotics12.html#MacConvilleFLM23
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/robotics/MacConvilleFLM23
%A MacConville, Dara
%A Farrell, Marie
%A Luckcuck, Matt
%A Monahan, Rosemary
%D 2023
%J Robotics
%K dblp
%N 2
%P 62
%T CSP2Turtle: Verified Turtle Robot Plans.
%U http://dblp.uni-trier.de/db/journals/robotics/robotics12.html#MacConvilleFLM23
%V 12
@article{journals/robotics/MacConvilleFLM23,
added-at = {2023-08-28T00:00:00.000+0200},
author = {MacConville, Dara and Farrell, Marie and Luckcuck, Matt and Monahan, Rosemary},
biburl = {https://www.bibsonomy.org/bibtex/2c5df2866cd2cac512a8ef65ef626d3c2/dblp},
ee = {https://www.wikidata.org/entity/Q120718137},
interhash = {0d90a1aad144c45314f82e7da3228086},
intrahash = {c5df2866cd2cac512a8ef65ef626d3c2},
journal = {Robotics},
keywords = {dblp},
month = {April},
number = 2,
pages = 62,
timestamp = {2024-04-09T04:05:25.000+0200},
title = {CSP2Turtle: Verified Turtle Robot Plans.},
url = {http://dblp.uni-trier.de/db/journals/robotics/robotics12.html#MacConvilleFLM23},
volume = 12,
year = 2023
}