%0 Journal Article %1 journals/fac/ShengZHYB20 %A Sheng, Feng %A Zhu, Huibiao %A He, Jifeng %A Yang, Zongyuan %A Bowen, Jonathan P. %D 2020 %J Formal Aspects Comput. %K dblp %N 2-3 %P 275-314 %T Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP. %U http://dblp.uni-trier.de/db/journals/fac/fac32.html#ShengZHYB20 %V 32

@article{journals/fac/ShengZHYB20, added-at = {2022-05-09T00:00:00.000+0200}, author = {Sheng, Feng and Zhu, Huibiao and He, Jifeng and Yang, Zongyuan and Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/20b7c6965dc0f52527d81a5ab68e6c44a/dblp}, ee = {https://doi.org/10.1007/s00165-020-00513-4}, interhash = {5995a6bef2e9f210973f5f3113be5cf4}, intrahash = {0b7c6965dc0f52527d81a5ab68e6c44a}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = {2-3}, pages = {275-314}, timestamp = {2024-04-09T05:37:43.000+0200}, title = {Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac32.html#ShengZHYB20}, volume = 32, year = 2020 }