%0 Conference Paper %1 conf/tase/0001BC19 %A Zhu, Chenyang %A Butler, Michael J. %A Cîrstea, Corina %B TASE %D 2019 %E Méry, Dominique %E Qin, Shengchao %I IEEE %K dblp %P 1-8 %T Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B. %U http://dblp.uni-trier.de/db/conf/tase/tase2019.html#0001BC19 %@ 978-1-7281-3342-3

@inproceedings{conf/tase/0001BC19, added-at = {2019-12-08T00:00:00.000+0100}, author = {Zhu, Chenyang and Butler, Michael J. and Cîrstea, Corina}, biburl = {https://www.bibsonomy.org/bibtex/2981912614cfd91aa34b4ce21bda30f96/dblp}, booktitle = {TASE}, crossref = {conf/tase/2019}, editor = {Méry, Dominique and Qin, Shengchao}, ee = {https://doi.org/10.1109/TASE.2019.00-26}, interhash = {9dc6c6de7632224f6c51090b7fa757e7}, intrahash = {981912614cfd91aa34b4ce21bda30f96}, isbn = {978-1-7281-3342-3}, keywords = {dblp}, pages = {1-8}, publisher = {IEEE}, timestamp = {2019-12-10T11:39:39.000+0100}, title = {Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B.}, url = {http://dblp.uni-trier.de/db/conf/tase/tase2019.html#0001BC19}, year = 2019 }