%0 Journal Article %1 journals/lites/TranNMXJ22 %A Tran, Hoang-Dung %A Nguyen, Luan Viet %A Musau, Patrick %A Xiang, Weiming %A Johnson, Taylor T. %D 2022 %J Leibniz Trans. Embed. Syst. %K dblp %N 2 %P 07:1-07:19 %T Real-Time Verification for Distributed Cyber-Physical Systems. %U http://dblp.uni-trier.de/db/journals/lites/lites8.html#TranNMXJ22 %V 8

@article{journals/lites/TranNMXJ22, added-at = {2024-04-08T00:00:00.000+0200}, author = {Tran, Hoang-Dung and Nguyen, Luan Viet and Musau, Patrick and Xiang, Weiming and Johnson, Taylor T.}, biburl = {https://www.bibsonomy.org/bibtex/2c5b7033c7201747069903e7bd0a54e72/dblp}, ee = {https://doi.org/10.4230/LITES.8.2.7}, interhash = {83e932c0e603f35e24d49d8dfcc28e18}, intrahash = {c5b7033c7201747069903e7bd0a54e72}, journal = {Leibniz Trans. Embed. Syst.}, keywords = {dblp}, number = 2, pages = {07:1-07:19}, timestamp = {2024-04-12T14:36:59.000+0200}, title = {Real-Time Verification for Distributed Cyber-Physical Systems.}, url = {http://dblp.uni-trier.de/db/journals/lites/lites8.html#TranNMXJ22}, volume = 8, year = 2022 }