%0 Conference Paper %1 conf/qrs/ZiaRLH23 %A Zia, Ilmaan %A Rahim, Muhammad Abdul Basit Ur %A Liu, Tairan %A He, Zhangying %B QRS Companion %D 2023 %I IEEE %K dblp %P 499-508 %T Formal Modeling and Verification of Industrial Robotic Arm - A Case Study. %U http://dblp.uni-trier.de/db/conf/qrs/qrs2023c.html#ZiaRLH23 %@ 979-8-3503-5939-8

@inproceedings{conf/qrs/ZiaRLH23, added-at = {2024-03-05T00:00:00.000+0100}, author = {Zia, Ilmaan and Rahim, Muhammad Abdul Basit Ur and Liu, Tairan and He, Zhangying}, biburl = {https://www.bibsonomy.org/bibtex/2ef1b9b404da8fe4cf33939b184513cad/dblp}, booktitle = {QRS Companion}, crossref = {conf/qrs/2023c}, ee = {https://doi.org/10.1109/QRS-C60940.2023.00106}, interhash = {ba96cf6c517710b81aeb5800d592d571}, intrahash = {ef1b9b404da8fe4cf33939b184513cad}, isbn = {979-8-3503-5939-8}, keywords = {dblp}, pages = {499-508}, publisher = {IEEE}, timestamp = {2024-04-09T13:27:58.000+0200}, title = {Formal Modeling and Verification of Industrial Robotic Arm - A Case Study.}, url = {http://dblp.uni-trier.de/db/conf/qrs/qrs2023c.html#ZiaRLH23}, year = 2023 }