%0 Conference Paper %1 conf/icra/KortikS21 %A Kortik, Sitar %A Shastha, Tejas Kumar %B ICRA %D 2021 %I IEEE %K dblp %P 9368-9374 %T Formal Verification of ROS Based Systems Using a Linear Logic Theorem Prover. %U http://dblp.uni-trier.de/db/conf/icra/icra2021.html#KortikS21 %@ 978-1-7281-9077-8

@inproceedings{conf/icra/KortikS21, added-at = {2021-10-25T00:00:00.000+0200}, author = {Kortik, Sitar and Shastha, Tejas Kumar}, biburl = {https://www.bibsonomy.org/bibtex/29796b1baa31033983d565df70236fb87/dblp}, booktitle = {ICRA}, crossref = {conf/icra/2021}, ee = {https://doi.org/10.1109/ICRA48506.2021.9561191}, interhash = {6994d7938418962d02a9563d9d2e0b5b}, intrahash = {9796b1baa31033983d565df70236fb87}, isbn = {978-1-7281-9077-8}, keywords = {dblp}, pages = {9368-9374}, publisher = {IEEE}, timestamp = {2024-04-09T10:31:00.000+0200}, title = {Formal Verification of ROS Based Systems Using a Linear Logic Theorem Prover.}, url = {http://dblp.uni-trier.de/db/conf/icra/icra2021.html#KortikS21}, year = 2021 }