%0 Journal Article %1 journals/concurrency/WangSL21 %A Wang, Wenru %A Shi, Xiaohua %A Lu, Xinghai %D 2021 %J Concurr. Comput. Pract. Exp. %K dblp %N 7 %P 1 %T A safety simulation analysis algorithm for Altarica language. %U http://dblp.uni-trier.de/db/journals/concurrency/concurrency33.html#WangSL21 %V 33

@article{journals/concurrency/WangSL21, added-at = {2021-04-07T00:00:00.000+0200}, author = {Wang, Wenru and Shi, Xiaohua and Lu, Xinghai}, biburl = {https://www.bibsonomy.org/bibtex/20ce4c79260b4d85c10ebcf2479ce1da9/dblp}, ee = {https://doi.org/10.1002/cpe.4990}, interhash = {87874c68eb909b4a2d221d517a8b21b3}, intrahash = {0ce4c79260b4d85c10ebcf2479ce1da9}, journal = {Concurr. Comput. Pract. Exp.}, keywords = {dblp}, number = 7, pages = 1, timestamp = {2024-04-08T12:14:19.000+0200}, title = {A safety simulation analysis algorithm for Altarica language.}, url = {http://dblp.uni-trier.de/db/journals/concurrency/concurrency33.html#WangSL21}, volume = 33, year = 2021 }