Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/simpar/KhaliliNT14
%A Khalili, Ali
%A Natale, Lorenzo
%A Tacchella, Armando
%B SIMPAR
%D 2014
%E Brugali, Davide
%E Broenink, Jan F.
%E Kroeger, Torsten
%E MacDonald, Bruce A.
%I Springer
%K dblp
%P 315-326
%T Reverse Engineering of Middleware for Verification of Robot Control Architectures.
%U http://dblp.uni-trier.de/db/conf/simpar/simpar2014.html#KhaliliNT14
%V 8810
%@ 978-3-319-11899-4
@inproceedings{conf/simpar/KhaliliNT14,
added-at = {2021-10-14T00:00:00.000+0200},
author = {Khalili, Ali and Natale, Lorenzo and Tacchella, Armando},
biburl = {https://www.bibsonomy.org/bibtex/21be768a052225a6ec5ccc4acbe7aa89a/dblp},
booktitle = {SIMPAR},
crossref = {conf/simpar/2014},
editor = {Brugali, Davide and Broenink, Jan F. and Kroeger, Torsten and MacDonald, Bruce A.},
ee = {https://doi.org/10.1007/978-3-319-11900-7_27},
interhash = {1794f44871b5fae012fa44f08ef8adb2},
intrahash = {1be768a052225a6ec5ccc4acbe7aa89a},
isbn = {978-3-319-11899-4},
keywords = {dblp},
pages = {315-326},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-10T19:02:14.000+0200},
title = {Reverse Engineering of Middleware for Verification of Robot Control Architectures.},
url = {http://dblp.uni-trier.de/db/conf/simpar/simpar2014.html#KhaliliNT14},
volume = 8810,
year = 2014
}