%0 Journal Article %1 journals/scp/0001BC20 %A Zhu, Chenyang %A Butler, Michael J. %A Cîrstea, Corina %D 2020 %J Sci. Comput. Program. %K dblp %P 102513 %T Trace semantics and refinement patterns for real-time properties in event-B models. %U http://dblp.uni-trier.de/db/journals/scp/scp197.html#0001BC20 %V 197

@article{journals/scp/0001BC20, added-at = {2023-03-21T00:00:00.000+0100}, author = {Zhu, Chenyang and Butler, Michael J. and Cîrstea, Corina}, biburl = {https://www.bibsonomy.org/bibtex/2a89ff966b63119b37d464683f081caf1/dblp}, ee = {https://doi.org/10.1016/j.scico.2020.102513}, interhash = {9c42f0bc417d9d905f20ed10f40749f6}, intrahash = {a89ff966b63119b37d464683f081caf1}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = 102513, timestamp = {2024-04-09T05:29:09.000+0200}, title = {Trace semantics and refinement patterns for real-time properties in event-B models.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp197.html#0001BC20}, volume = 197, year = 2020 }