%0 Conference Paper %1 conf/tase/DupontAPS19 %A Dupont, Guillaume %A Ameur, Yamine Aït %A Pantel, Marc %A Singh, Neeraj Kumar %B TASE %D 2019 %E Méry, Dominique %E Qin, Shengchao %I IEEE %K dblp %P 9-16 %T Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B. %U http://dblp.uni-trier.de/db/conf/tase/tase2019.html#DupontAPS19 %@ 978-1-7281-3342-3

@inproceedings{conf/tase/DupontAPS19, added-at = {2019-12-08T00:00:00.000+0100}, author = {Dupont, Guillaume and Ameur, Yamine Aït and Pantel, Marc and Singh, Neeraj Kumar}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2da0b10838ab5d7a8d7fef438776bcc6c/dblp}, booktitle = {TASE}, crossref = {conf/tase/2019}, editor = {Méry, Dominique and Qin, Shengchao}, ee = {https://doi.org/10.1109/TASE.2019.00-25}, interhash = {a8687ccf156be2afc7ccc5dd40ac7f5a}, intrahash = {da0b10838ab5d7a8d7fef438776bcc6c}, isbn = {978-1-7281-3342-3}, keywords = {dblp}, pages = {9-16}, publisher = {IEEE}, timestamp = {2019-12-11T13:05:09.000+0100}, title = {Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B.}, url = {http://dblp.uni-trier.de/db/conf/tase/tase2019.html#DupontAPS19}, year = 2019 }