%0 Conference Paper %1 conf/saci/TranREA21 %A anh Tran, Tuan %A Ruppert, Tamás %A Eigner, György %A Abonyi, János %B SACI %D 2021 %I IEEE %K dblp %P 369-374 %T Real-time locating system and digital twin in Lean 4.0. %U http://dblp.uni-trier.de/db/conf/saci/saci2021.html#TranREA21 %@ 978-1-7281-9544-5

@inproceedings{conf/saci/TranREA21, added-at = {2022-12-07T00:00:00.000+0100}, author = {anh Tran, Tuan and Ruppert, Tamás and Eigner, György and Abonyi, János}, biburl = {https://www.bibsonomy.org/bibtex/249e4256b463b51b393de657cc6d78787/dblp}, booktitle = {SACI}, crossref = {conf/saci/2021}, ee = {https://doi.org/10.1109/SACI51354.2021.9465544}, interhash = {41ebe8c32438d1b68e8b1fb786fe36d8}, intrahash = {49e4256b463b51b393de657cc6d78787}, isbn = {978-1-7281-9544-5}, keywords = {dblp}, pages = {369-374}, publisher = {IEEE}, timestamp = {2024-04-09T14:23:46.000+0200}, title = {Real-time locating system and digital twin in Lean 4.0.}, url = {http://dblp.uni-trier.de/db/conf/saci/saci2021.html#TranREA21}, year = 2021 }