%0 Book %1 snook_06_refinement %A Snook, Colin %A Wald'en, Marina %D 2006 %J : B 2007: Formal Specification and Development in B %K 2006 refinement b statecharts event-b %P 171--185 %R 10.1007/11955757_15 %T Refinement of Statemachines Using Event B Semantics %U http://dx.doi.org/10.1007/11955757_15

@book{snook_06_refinement, added-at = {2009-02-11T20:59:05.000+0100}, author = {Snook, Colin and Wald'{e}n, Marina}, biburl = {https://www.bibsonomy.org/bibtex/2ea022bc3cc92aa3a6b96a42949d9700c/leonardo}, citeulike-article-id = {1019019}, doi = {10.1007/11955757_15}, interhash = {e2b320e20761eadb531f8de0d5aeda44}, intrahash = {ea022bc3cc92aa3a6b96a42949d9700c}, journal = {: B 2007: Formal Specification and Development in B}, keywords = {2006 refinement b statecharts event-b}, pages = {171--185}, posted-at = {2006-12-29 12:18:55}, priority = {5}, timestamp = {2009-02-11T20:59:05.000+0100}, title = {Refinement of Statemachines Using Event B Semantics}, url = {http://dx.doi.org/10.1007/11955757_15}, year = 2006 }