%0 Journal Article %1 journals/jcst/LinWZG20 %A Lin, Qianqian %A Wang, Shuling %A Zhan, Bohua %A Gu, Bin %D 2020 %J J. Comput. Sci. Technol. %K dblp %N 6 %P 1324-1342 %T Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/Stateflow. %U http://dblp.uni-trier.de/db/journals/jcst/jcst35.html#LinWZG20 %V 35

@article{journals/jcst/LinWZG20, added-at = {2020-12-16T00:00:00.000+0100}, author = {Lin, Qianqian and Wang, Shuling and Zhan, Bohua and Gu, Bin}, biburl = {https://www.bibsonomy.org/bibtex/25e8eb7fe798dfb520cb72170b7922189/dblp}, ee = {https://doi.org/10.1007/s11390-020-0537-8}, interhash = {685c6600ca8e0c1f48fa5b81a538a9c1}, intrahash = {5e8eb7fe798dfb520cb72170b7922189}, journal = {J. Comput. Sci. Technol.}, keywords = {dblp}, number = 6, pages = {1324-1342}, timestamp = {2024-04-08T14:31:28.000+0200}, title = {Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/Stateflow.}, url = {http://dblp.uni-trier.de/db/journals/jcst/jcst35.html#LinWZG20}, volume = 35, year = 2020 }