Inproceedings,
Testing Robots Using CSP.
A. Cavalcanti, J. Baxter, R. Hierons, and R. Lefticaru.TAP@FM, volume 11823 of Lecture Notes in Computer Science, page 21-38. Springer, (2019)
Meta data
- BibTeX key
- conf/tap/CavalcantiBHL19
- entry type
- inproceedings
- booktitle
- TAP@FM
- year
- 2019
- pages
- 21-38
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 11823
- crossref
- conf/tap/2019
- ee
- https://doi.org/10.1007/978-3-030-31157-5_2
- isbn
- 978-3-030-31157-5
- url
- http://dblp.uni-trier.de/db/conf/tap/tap2019.html#CavalcantiBHL19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/tap/CavalcantiBHL19
%A Cavalcanti, Ana
%A Baxter, James
%A Hierons, Robert M.
%A Lefticaru, Raluca
%B TAP@FM
%D 2019
%E Beyer, Dirk
%E Keller, Chantal
%I Springer
%K dblp
%P 21-38
%T Testing Robots Using CSP.
%U http://dblp.uni-trier.de/db/conf/tap/tap2019.html#CavalcantiBHL19
%V 11823
%@ 978-3-030-31157-5
@inproceedings{conf/tap/CavalcantiBHL19,
added-at = {2022-04-09T00:00:00.000+0200},
author = {Cavalcanti, Ana and Baxter, James and Hierons, Robert M. and Lefticaru, Raluca},
biburl = {https://www.bibsonomy.org/bibtex/2dd21f140a608194cc23052dcd6f1913c/dblp},
booktitle = {TAP@FM},
crossref = {conf/tap/2019},
editor = {Beyer, Dirk and Keller, Chantal},
ee = {https://doi.org/10.1007/978-3-030-31157-5_2},
interhash = {8068f642cbcc475cf28e3bfb596bcddd},
intrahash = {dd21f140a608194cc23052dcd6f1913c},
isbn = {978-3-030-31157-5},
keywords = {dblp},
pages = {21-38},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-10T15:11:23.000+0200},
title = {Testing Robots Using CSP.},
url = {http://dblp.uni-trier.de/db/conf/tap/tap2019.html#CavalcantiBHL19},
volume = 11823,
year = 2019
}