Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Journal Article
%1 journals/corr/abs-2208-05507
%A Luckcuck, Matt
%A Farrell, Marie
%A Ferrando, Angelo
%A Cardoso, Rafael C.
%A Dennis, Louise A.
%A Fisher, Michael
%D 2022
%J CoRR
%K dblp
%T A Compositional Approach to Verifying Modular Robotic Systems.
%U http://dblp.uni-trier.de/db/journals/corr/corr2208.html#abs-2208-05507
%V abs/2208.05507
@article{journals/corr/abs-2208-05507,
added-at = {2022-09-28T00:00:00.000+0200},
author = {Luckcuck, Matt and Farrell, Marie and Ferrando, Angelo and Cardoso, Rafael C. and Dennis, Louise A. and Fisher, Michael},
biburl = {https://www.bibsonomy.org/bibtex/278a8f8125d47feb8e6327d5b027c1f61/dblp},
ee = {https://doi.org/10.48550/arXiv.2208.05507},
interhash = {7491e534fe88b99567a6acdc8b0733f4},
intrahash = {78a8f8125d47feb8e6327d5b027c1f61},
journal = {CoRR},
keywords = {dblp},
timestamp = {2024-04-08T22:53:42.000+0200},
title = {A Compositional Approach to Verifying Modular Robotic Systems.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr2208.html#abs-2208-05507},
volume = {abs/2208.05507},
year = 2022
}