%0 Conference Paper %1 conf/asm/BanachZSW12b %A Banach, Richard %A Zhu, Huibiao %A Su, Wen %A Wu, Xiaofeng %B ABZ %D 2012 %E Derrick, John %E Fitzgerald, John S. %E Gnesi, Stefania %E Khurshid, Sarfraz %E Leuschel, Michael %E Reeves, Steve %E Riccobene, Elvinia %I Springer %K dblp %P 349-352 %T Continuous Behaviour in Event-B: A Sketch. %U http://dblp.uni-trier.de/db/conf/asm/abz2012.html#BanachZSW12b %V 7316 %@ 978-3-642-30884-0

@inproceedings{conf/asm/BanachZSW12b, added-at = {2017-05-21T00:00:00.000+0200}, author = {Banach, Richard and Zhu, Huibiao and Su, Wen and Wu, Xiaofeng}, biburl = {https://www.bibsonomy.org/bibtex/265411fa436db719bcada26f84697adae/dblp}, booktitle = {ABZ}, crossref = {conf/asm/2012}, editor = {Derrick, John and Fitzgerald, John S. and Gnesi, Stefania and Khurshid, Sarfraz and Leuschel, Michael and Reeves, Steve and Riccobene, Elvinia}, ee = {https://doi.org/10.1007/978-3-642-30885-7_29}, interhash = {8db419652b488aa3e193e55081a4acf0}, intrahash = {65411fa436db719bcada26f84697adae}, isbn = {978-3-642-30884-0}, keywords = {dblp}, pages = {349-352}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T13:05:56.000+0200}, title = {Continuous Behaviour in Event-B: A Sketch.}, url = {http://dblp.uni-trier.de/db/conf/asm/abz2012.html#BanachZSW12b}, volume = 7316, year = 2012 }