%0 Conference Paper %1 conf/icsrs/Takano23 %A Takano, Yuuki %B ICSRS %D 2023 %I IEEE %K dblp %P 488-497 %T Deadlock- and Starvation-free Formally Verified Client Library for Robots. %U http://dblp.uni-trier.de/db/conf/icsrs/icsrs2023.html#Takano23 %@ 979-8-3503-0605-7

@inproceedings{conf/icsrs/Takano23, added-at = {2024-02-29T00:00:00.000+0100}, author = {Takano, Yuuki}, biburl = {https://www.bibsonomy.org/bibtex/23875d3e7bbc23d153d899874073948cd/dblp}, booktitle = {ICSRS}, crossref = {conf/icsrs/2023}, ee = {https://doi.org/10.1109/ICSRS59833.2023.10381358}, interhash = {1e6683a4869aeec527c4599a045df713}, intrahash = {3875d3e7bbc23d153d899874073948cd}, isbn = {979-8-3503-0605-7}, keywords = {dblp}, pages = {488-497}, publisher = {IEEE}, timestamp = {2024-04-09T19:05:59.000+0200}, title = {Deadlock- and Starvation-free Formally Verified Client Library for Robots.}, url = {http://dblp.uni-trier.de/db/conf/icsrs/icsrs2023.html#Takano23}, year = 2023 }